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

Active Bibliography

24 A Theory of Stack Allocation in Polymorphically Typed Languages – Mads Tofte, Jean-Pierre Talpin - 1993
and – Mads Tofte, Jean-pierre Talpin
283 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
91 From Region Inference to von Neumann Machines via Region Representation Inference – Lars Birkedal, Mads Tofte, Magnus Vejlstrup, Nkt Elektronik - 1996
93 A Critique of Standard ML – Andrew W. Appel - 1992
152 The Type and Effect Discipline – Jean-Pierre Talpin, Pierre Jouvelot - 1992
18 Compiling Standard ML For Efficient Execution On Modern Machines – Zhong Shao - 1994
81 Once Upon a Type – David Turner, Philip Wadler, Christian Mossin - 1995
14 A Retrospective on Region-Based Memory Management – Mads Tofte, Lars Birkedal, Martin Elsman, Niels Hallenberg - 2004
94 Putting Type Annotations to Work – Martin Odersky, Konstantin Läufer - 1996
222 Object-Oriented Type Inference – Jens Palsberg, Michael I. Schwartzbach - 1991
9 A Constraint-Based Region Inference Algorithm – Lars Birkedal, Mads Tofte - 1999
10 Unification and Polymorphism in Region Inference – Mads Tofte, Lars Birkedal - 1996
Logic and Abstraction, Verification and Falsification – Jan-georg Smaus - 2008
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
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 - 2010
48 Design and Implementation of Code Optimizations for a Type-Directed Compiler for Standard ML – David Tarditi - 1996