Implementation of the typed call-by-value λ-calculus using a stack of regions (1994)

by Mads Tofte
Venue:In ACM Symposium on Principles of Programming Languages
Citations:64 - 0 self

Documents Related by Co-Citation

363 Enforcing High-Level Protocols in Low-Level Software – Robert DeLine, Manuel Fahndrich - 2001
171 Alias Types – Frederick Smith, David Walker, Greg Morrisett - 1999
548 A Syntactic Approach to Type Soundness – Andrew K. Wright, Matthias Felleisen - 1992
595 From System F to Typed Assembly Language – Greg Morrisett, David Walker, Karl Crary, Neal Glew - 1998
196 Typed Memory Management in a Calculus of Capabilities – David Walker, Karl Crary, Greg Morrisett - 2000
1111 Proof-Carrying Code – George C. Necula - 1997
734 Notions of Computation and Monads – Eugenio Moggi - 1991
281 Region-Based Memory Management – Mads Tofte, Jean-Pierre Talpin - 1997
366 Flow-Sensitive Type Qualifiers – Jeffrey S. Foster, Tachio Terauchi, Alex Aiken - 2002