|
186
|
Typed Memory Management in a Calculus of Capabilities
– David Walker, Karl Crary, Greg Morrisett
- 2000
|
|
28
|
Region Analysis and the Polymorphic Lambda Calculus
– Anindya Banerjee, Nevin Heintze, Jon G. Riecke
- 1999
|
|
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
|
|
652
|
Notions of Computation and Monads
– Eugenio Moggi
- 1991
|
|
325
|
Proofs and Types
– Jean-Yves Girard, Yves Lafont, Paul Taylor
- 1989
|
|
269
|
Region-Based Memory Management
– Mads Tofte, Jean-Pierre Talpin
- 1997
|
|
20
|
Correctness of Monadic State: An Imperative Call-by-Need Calculus
– Zena M. Ariola, Amr Sabry
- 1998
|
|
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
|
|
10
|
Taming Effects with Monadic Typing
– Richard B. Kieburtz
- 1999
|
|
104
|
Lazy functional state threads
– John Launchbury, Simon L Peyton Jones
- 1994
|
|
401
|
Computational Lambda-Calculus and Monads
– Eugenio Moggi
- 1988
|
|
7
|
Effect types and region-based memory management
– F Henglein, H Makholm, H Niss
- 2005
|
|
18
|
Syntactic Type Soundness for the Region Calculus
– Simon Helsen, Peter Thiemann
- 2000
|
|
337
|
Towards a theory of types structure
– John C Reynolds
- 1974
|
|
53
|
A Reflection on Call-by-Value
– Amr Sabry, Philip Wadler
- 1996
|
|
53
|
Implementation of the typed call-by-value λ-calculus using a stack of regions
– Mads Tofte
- 1994
|
|
76
|
The Marriage of Effects and Monads
– Philip Wadler, Peter Thiemann
- 1998
|
