Monads, effects and transformations (1999)

Cached

Download Links

by Nick Benton , Andrew Kennedy
Venue:Electronic Notes in Theoretical Computer Science
Citations:27 - 9 self

Documents Related by Co-Citation

91 The Marriage of Effects and Monads – Philip Wadler, Peter Thiemann - 1998
105 Compiling Standard ML to Java bytecodes – Nick Benton, Andrew Kennedy, George Russell, Nick Benton, Andrew Kennedy, George Russell - 1998
730 Notions of Computation and Monads – Eugenio Moggi - 1991
33 Combining higher order abstract syntax with tactical theorem proving and (co)induction – S. J. Ambler, R. L. Crole, A. Momigliano - 2002
111 Operational Reasoning for Functions With Local State – Andrew Pitts, Ian Stark
234 Polymorphic effect systems – John M. Lucassen, David K. Gifford - 1988
221 A Core Calculus of Dependency – Martín Abadi , Anindya Banerjee, Nevin Heintze, Jon G. Riecke - 1999
85 Integrating functional and imperative programming – D K Gifford, J M Lucassen - 1986
28 Monadic Encapsulation of Effects: A Revised Approach (Extended Version) – E. Moggi, Amr Sabry - 1999
538 A Syntactic Approach to Type Soundness – Andrew K. Wright, Matthias Felleisen - 1992
436 Computational Lambda-Calculus and Monads – Eugenio Moggi - 1988
28 Region Analysis and the Polymorphic Lambda Calculus – Anindya Banerjee, Nevin Heintze, Jon G. Riecke - 1999
22 Correctness of Data Representations involving Heap Data Structures – Uday S. Reddy, Hongseok Yang - 2003
81 Simple Relational Correctness Proofs for Static Analyses and Program Transformations – Nick Benton - 2004
47 Monads and Effects – Nick Benton, John Hughes, Eugenio Moggi - 2000
89 A Per Model of Secure Information Flow in Sequential Programs – Andrei Sabelfeld , David Sands - 1998
31 Possible world semantics for general storage in call-by-value – P B Levy - 2002
87 A Generic Account of Continuation-Passing Styles – John Hatcliff, Olivier Danvy - 1994
280 Region-Based Memory Management – Mads Tofte, Jean-Pierre Talpin - 1997