|
652
|
Notions of Computation and Monads
– Eugenio Moggi
- 1991
|
|
27
|
Monadic Encapsulation of Effects: A Revised Approach (Extended Version)
– E. Moggi, Amr Sabry
- 1999
|
|
24
|
Monadic State: Axiomatization and Type Safety
– John Launchbury, Amr Sabry, When Launchbury, Peyton Jones Introduced Encapsulated
- 1997
|
|
401
|
Computational Lambda-Calculus and Monads
– Eugenio Moggi
- 1988
|
|
1225
|
Introduction to functional programming
– Philip Wadler
- 1995
|
|
76
|
The Marriage of Effects and Monads
– Philip Wadler, Peter Thiemann
- 1998
|
|
104
|
Lazy functional state threads
– John Launchbury, Simon L Peyton Jones
- 1994
|
|
186
|
Typed Memory Management in a Calculus of Capabilities
– David Walker, Karl Crary, Greg Morrisett
- 2000
|
|
10
|
Taming Effects with Monadic Typing
– Richard B. Kieburtz
- 1999
|
|
53
|
Implementation of the typed call-by-value λ-calculus using a stack of regions
– Mads Tofte
- 1994
|
|
15
|
Monadic Encapsulation in ML
– Miley Semmelroth, Amr Sabry
- 1999
|
|
53
|
A Reflection on Call-by-Value
– Amr Sabry, Philip Wadler
- 1996
|
|
169
|
A Natural Semantics for Lazy Evaluation
– John Launchbury
- 1993
|
|
166
|
Parameter-Passing and the Lambda Calculus
– Erik Crank, Matthias Felleisen
- 1991
|
|
28
|
Region Analysis and the Polymorphic Lambda Calculus
– Anindya Banerjee, Nevin Heintze, Jon G. Riecke
- 1999
|
|
7
|
Formal type soundness for Cyclone’s region system
– Dan Grossman, Greg Morrisett, Trevor Jim, Mike Hicks, Yanling Wang, James Cheney
- 2001
|
|
22
|
Stratified Operational Semantics for Safety and Correctness of The Region Calculus
– Cristiano Calcagno
- 2001
|
|
15
|
Syntactic Type Soundness Results for the Region Calculus
– Cristiano Calcagno, Simon Helsen, Peter Thiemann
- 2001
|
|
325
|
Proofs and Types
– Jean-Yves Girard, Yves Lafont, Paul Taylor
- 1989
|
