Generic Models for Computational Effects

Cached

Download Links

by John Power
Citations:5 - 1 self

Documents Related by Co-Citation

381 BASIC CONCEPTS OF ENRICHED CATEGORY THEORY – G. M. Kelly - 2005
730 Notions of Computation and Monads – Eugenio Moggi - 1991
14 Modelling environments in call-by-value programming languages – Paul Blain Levy, John Power, Hayo Thielecke - 2003
26 Computational Effects and Operations: An Overview – Gordon Plotkin, John Power - 2004
439 Computational Lambda-Calculus and Monads – Eugenio Moggi - 1988
930 Categories for the Working Mathematician – S Mac Lane - 1971
30 Adequacy for algebraic effects – Gordon Plotkin, Matija Pretnar - 2001
54 Notions of Computation Determine Monads – Gordon Plotkin, John Power - 2002
43 Categories for the Working Mathematician. Number 5 – S Mac Lane - 1971
7 The arrow calculus – Sam Lindley, Philip Wadler, Jeremy Yallop - 2008
32 Generalising Monads to Arrows. Science of Computer Programming, 37:67–111, May 2000. R. van der Meyden. Finite State Implementations of Knowledge-Based Programs – J Hughes
12 Arrows, like monads, are monoids – Chris Heunen, Bart Jacobs - 2006
68 Applicative programming with effects – Conor Mcbride, Ross Paterson
2 Logic for Computational Effects: work in progress – Gordon Plotkin
1 Olha Shkaravska, From Models to Comodels: State and Arrays – John Power - 2004
15 Call-By-Push-Value: A Subsuming Paradigm – Paul Blain Levy - 1999
10 Countable Lawvere Theories and Computational Effects – John Power - 2006
12 Notions of computation and monads. Information and computation 93(1 – E Moggi - 1991
39 Categorical Models for Local Names – Ian Stark - 1996