|
28
|
Region Analysis and the Polymorphic Lambda Calculus
– Anindya Banerjee, Nevin Heintze, Jon G. Riecke
- 1999
|
|
268
|
Region-Based Memory Management
– Mads Tofte, Jean-Pierre Talpin
- 1997
|
|
72
|
Integrating functional and imperative programming
– D K Gifford, J M Lucassen
- 1986
|
|
201
|
A Core Calculus of Dependency
– Martín Abadi , Anindya Banerjee, Nevin Heintze, Jon G. Riecke
- 1999
|
|
2
|
Semantics of program analyses and transformations
– N Benton
- 2005
|
|
10
|
The Meaning of Types - From Intrinsic to Extrinsic Semantics
– John C Reynolds, John C. Reynolds, John C. Reynolds
- 2000
|
|
13
|
Optimizing ML Using a Hierarchy of Monadic Types
– Andrew Tolmach
- 1998
|
|
27
|
Monadic Encapsulation of Effects: A Revised Approach (Extended Version)
– E. Moggi, Amr Sabry
- 1999
|
|
75
|
The Marriage of Effects and Monads
– Philip Wadler, Peter Thiemann
- 1998
|
|
24
|
Monads, effects and transformations
– Nick Benton, Andrew Kennedy
- 1999
|
|
57
|
Simple Relational Correctness Proofs for Static Analyses and Program Transformations
– Nick Benton
- 2004
|
|
39
|
Monads and Effects
– Nick Benton, John Hughes, Eugenio Moggi
- 2000
|
|
22
|
Correctness of Data Representations involving Heap Data Structures
– Uday S. Reddy, Hongseok Yang
- 2003
|
|
210
|
Polymorphic effect systems
– John M. Lucassen, David K. Gifford
- 1988
|
|
81
|
A Per Model of Secure Information Flow in Sequential Programs
– Andrei Sabelfeld , David Sands
- 1998
|
|
101
|
Operational Reasoning for Functions With Local State
– Andrew Pitts, Ian Stark
|
|
46
|
Relational reasoning in a nominal semantics for storage
– Nick Benton, Benjamin Leperchey
- 2005
|
|
43
|
Notions of Computation Determine Monads
– Gordon Plotkin, John Power
- 2002
|
|
26
|
Observational Purity and Encapsulation
– David A. Naumann
- 2006
|
