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:53 - 0 self

Active Bibliography

23 A Theory of Stack Allocation in Polymorphically Typed Languages – Mads Tofte, Jean-Pierre Talpin - 1993
268 Region-Based Memory Management – Mads Tofte, Jean-Pierre Talpin - 1997
Better Static Memory Management: Improving Region-Based Analysis – Of Higher-Order Languages, Alexander Aiken, Manuel Fähndrich, Raph Levieny - 1995
86 From Region Inference to von Neumann Machines via Region Representation Inference – Lars Birkedal, Mads Tofte, Magnus Vejlstrup, Nkt Elektronik - 1996
89 A Critique of Standard ML – Andrew W. Appel - 1992
135 The Type and Effect Discipline – Jean-Pierre Talpin, Pierre Jouvelot - 1992
18 Compiling Standard ML For Efficient Execution On Modern Machines – Zhong Shao - 1994
77 Once Upon a Type – David Turner, Philip Wadler, Christian Mossin - 1995
10 A Retrospective on Region-Based Memory Management – Mads Tofte, Lars Birkedal, Martin Elsman, Niels Hallenberg - 2004
9 A Constraint-Based Region Inference Algorithm – Lars Birkedal, Mads Tofte - 1999
209 Object-Oriented Type Inference – Jens Palsberg, Michael I. Schwartzbach - 1991
91 Putting Type Annotations to Work – Martin Odersky, Konstantin Läufer - 1996
10 Unification and Polymorphism in Region Inference – Mads Tofte, Lars Birkedal - 1996
Analyse Statique Comportementale des Langages de Programmation. – Analyse Statique Comportementale, Pierre Jouvelot, Ffl David K. Gifford (mit, Ffl Phil Wadler (glasgow U, De Bureau Fran��cois Irigoin, Corinne Ancourt, Ronan Keryell, Michel Lenci, Robert Mahl, Jacqueline Altimira, Annie Pech-ripaud, Et Mes 'etudiants
Logic and Abstraction, Verification and Falsification – Jan-georg Smaus - 2008
Extending the Type Checker of SML by Polymorphic Recursion: A Correctness Proof – Martin Emms, Hans Leiß, Centrum Fur Informationsund - 1997
Practical Type Inference for the GADT Type System – Chuan-kai Lin, P. Black, James Hook, Mark P. Jones, Andrew Tolmach, Douglas V. Hall
47 Design and Implementation of Code Optimizations for a Type-Directed Compiler for Standard ML – David Tarditi - 1996
1 Practical Type Inference for Polymorphic Recursion: an Implementation in Haskell – Cristiano Vasconcellos, Lucília Figueiredo, Carlos Camarão, Católica Paraná