From Region Inference to von Neumann Machines via Region Representation Inference (1996)

Cached

Download Links

by Lars Birkedal , Mads Tofte , Magnus Vejlstrup , Nkt Elektronik
Venue:In Twenty-Third ACM Symposium on Principles of Programming Languages
Citations:91 - 9 self

Active Bibliography

14 A Retrospective on Region-Based Memory Management – Mads Tofte, Lars Birkedal, Martin Elsman, Niels Hallenberg - 2004
and – Mads Tofte, Jean-pierre Talpin
283 Region-Based Memory Management – Mads Tofte, Jean-Pierre Talpin - 1997
24 A Theory of Stack Allocation in Polymorphically Typed Languages – Mads Tofte, Jean-Pierre Talpin - 1993
57 Implementation of the typed call-by-value λ-calculus using a stack of regions – Mads Tofte - 1994
93 A Critique of Standard ML – Andrew W. Appel - 1992
102 Compiling with Types – Greg Morrisett - 1995
227 TIL: A Type-Directed Optimizing Compiler for ML – David Tarditi , Greg Morrisett, Perry Cheng, Chris Stone, Robert Harper, Peter Lee - 1995
10 Unification and Polymorphism in Region Inference – Mads Tofte, Lars Birkedal - 1996
4 A Region Profiler for a Standard ML compiler based on Region Inference – Niels Hallenberg, Supervisor Mads Tofte - 1996
138 Separate Compilation for Standard ML – Andrew W. Appel, David B. Macqueen - 1994
70 A Region Inference Algorithm – Mads Tofte , Lars Birkedal - 1998
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
152 The Type and Effect Discipline – Jean-Pierre Talpin, Pierre Jouvelot - 1992
12 Full Lifting of Type Parameters – Yasuhiko Minamide - 1997
65 From ML to Ada: Strongly-typed Language Interoperability via Source Translation – Andrew Tolmach, Dino P. Oliva - 1993
44 Combining Region Inference and Garbage Collection – Niels Hallenberg, Martin Elsman, Mads Tofte - 2002
196 Typed Memory Management in a Calculus of Capabilities – David Walker, Karl Crary, Greg Morrisett - 2000
4 Polymorphic Equality - No Tags Required – Martin Elsman - 1989