Modelling environments in call-by-value programming languages (2003)

Cached

Download Links

by Paul Blain Levy , John Power , Hayo Thielecke
Citations:14 - 4 self

Documents Related by Co-Citation

730 Notions of Computation and Monads – Eugenio Moggi - 1991
381 BASIC CONCEPTS OF ENRICHED CATEGORY THEORY – G. M. Kelly - 2005
99 Premonoidal Categories and Notions of Computation – John Power, Edmund Robinson - 1995
32 Algebraic Operations and Generic Effects – Gordon Plotkin, John Power - 2003
439 Computational Lambda-Calculus and Monads – Eugenio Moggi - 1988
54 Notions of Computation Determine Monads – Gordon Plotkin, John Power - 2002
93 Introduction to extensive and distributive categories – A Carboni, S Lack, R Walters - 1993
30 Adequacy for algebraic effects – Gordon Plotkin, Matija Pretnar - 2001
930 Categories for the Working Mathematician – S Mac Lane - 1971
188 Toposes, Triples and Theories – Michael Barr, Charles Wells - 2005
29 Combining effects: sum and tensor – Martin Hyland, Gordon Plotkin, John Power
29 Call-by-Push-Value. A Functional/Imperative Synthesis – P B Levy - 2004
126 The formal theory of monads – Ross Street - 1972
140 Handbook of Categorical Algebra – F Borceux - 1994
112 Categorical Logic and Type Theory – B Jacobs - 1999
42 Monads on symmetric monoidal closed categories – A Kock - 1970
5 Linearly-used state in models of call-by-value – Rasmus Ejlers Møgelberg, Sam Staton
1312 Monads for functional programming – Philip Wadler - 1995
5 Generic Models for Computational Effects – John Power