|
651
|
Notions of Computation and Monads
– Eugenio Moggi
- 1991
|
|
1224
|
Introduction to functional programming
– Philip Wadler
- 1995
|
|
135
|
The Type and Effect Discipline
– Jean-Pierre Talpin, Pierre Jouvelot
- 1992
|
|
401
|
Computational Lambda-Calculus and Monads
– Eugenio Moggi
- 1988
|
|
268
|
Region-Based Memory Management
– Mads Tofte, Jean-Pierre Talpin
- 1997
|
|
186
|
Typed Memory Management in a Calculus of Capabilities
– David Walker, Karl Crary, Greg Morrisett
- 2000
|
|
114
|
Polymorphic Type, Region and Effect Inference
– Jean-Pierre Talpin, Pierre Jouvelot
- 1991
|
|
13
|
Optimizing ML Using a Hierarchy of Monadic Types
– Andrew Tolmach
- 1998
|
|
582
|
Separation Logic: A Logic for Shared Mutable Data Structures
– John Reynolds
- 2002
|
|
104
|
Lazy functional state threads
– John Launchbury, Simon L Peyton Jones
- 1994
|
|
490
|
A Syntactic Approach to Type Soundness
– Andrew K. Wright, Matthias Felleisen
- 1992
|
|
210
|
Polymorphic effect systems
– John M. Lucassen, David K. Gifford
- 1988
|
|
15
|
Monadic Encapsulation in ML
– Miley Semmelroth, Amr Sabry
- 1999
|
|
237
|
Local Reasoning about Programs that Alter Data Structures
– Peter O'Hearn, John Reynolds, Hongseok Yang
- 2001
|
|
24
|
Monads, effects and transformations
– Nick Benton, Andrew Kennedy
- 1999
|
|
418
|
Comprehending Monads
– Philip Wadler
- 1992
|
|
19
|
Bridging the gulf: a common intermediate language for ML and Haskell
– Simon Peyton Jones, John Launchbury, Mark Shields, Andrew Tolmach
- 1998
|
|
72
|
Integrating functional and imperative programming
– D K Gifford, J M Lucassen
- 1986
|
|
106
|
Algebraic Reconstruction of Types and Effects
– Pierre Jouvelot, David K. Gifford
- 1991
|
