Monads, effects and transformations (1999)

Cached

Download Links

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

Active Bibliography

47 Monads and Effects – Nick Benton, John Hughes, Eugenio Moggi - 2000
1 An Equational Theory for a Region Calculus – Simon Helsen - 2002
2 Bisimilarity for the region calculus – Simon Helsen
A Modal Language for Effects – Sungwoo Park, Robert Harper - 2004
A Logical View of Effects – Sungwoo Park , Robert Harper
Effectful progamming Type inference for effects with natural subtyping (Draft, submitted to APLAS’10) – Ross Tate, Daan Leijen
92 The Marriage of Effects and Monads – Philip Wadler, Peter Thiemann - 1998
34 Compilation and Equivalence of Imperative Objects – Andrew D. Gordon, Paul D. Hankin, Søren B. Lassen - 1998
6 Names, Equations, Relations: Practical Ways to Reason about new – Ian Stark - 1996
1 Reading, Writing and Relations Towards Extensional Semantics for Effect Analyses – Nick Benton, Andrew Kennedy, Martin Hofmann, Lennart Beringer
105 Compiling Standard ML to Java bytecodes – Nick Benton, Andrew Kennedy, George Russell, Nick Benton, Andrew Kennedy, George Russell - 1998
35 Operational Semantics and Program Equivalence – Andrew M. Pitts - 2000
75 Parametric Polymorphism and Operational Equivalence – Andrew M. Pitts - 2000
13 Reasoning about Functions with Effects – Carolyn Talcott - 1997
7 FUNDIO: A Lambda-Calculus with a letrec, case, Constructors, and an IO-Interface: Approaching a Theory of unsafePerformIO – Manfred Schmidt-Schauß - 2003
A Flexible Semantic Framework for Effects – Ross Tate, Daan Leijen, Sorin Lerner
15 Reducibility and ⊤⊤-lifting for computation types – Sam Lindley, Ian Stark - 2005
35 Operational Properties of Lily, a Polymorphic Linear Lambda Calculus with Recursion – G.M. Bierman, A. M. Pitts, C. V. Russo
7 Semantics of value recursion for monadic input/output – Levent Erkök, John Launchbury, Andrew Moran - 2002