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

Active Bibliography

25 A Theory of Stack Allocation in Polymorphically Typed Languages – Mads Tofte, Jean-Pierre Talpin - 1993
281 Region-Based Memory Management – Mads Tofte, Jean-Pierre Talpin - 1997
Implementation of the Typed Call-by-Value A-calculus using a Stack of Abstract Regions – unknown authors
Applicative Programming and Specification – Stephen Gilmore - 1993
548 A Syntactic Approach to Type Soundness – Andrew K. Wright, Matthias Felleisen - 1992
1318 Monads for functional programming – Philip Wadler - 1995
Better Static Memory Management: Improving Region-Based Analysis – Of Higher-Order Languages, Alexander Aiken, Manuel Fähndrich, Raph Levieny
911 The Design and Implementation of a Log-Structured File System – Mendel Rosenblum, John K. Ousterhout - 1992
595 From System F to Typed Assembly Language – Greg Morrisett, David Walker, Karl Crary, Neal Glew - 1998