Mads Tofte

28 papers A* 5A 2B 2C 1Journal 9Unranked 5
YearRankTypeTitle / Venue / Authors
2010 J jnl
Obituary: Robin Milner (1934-2010).
Bull. EATCS
Gordon D. Plotkin, Colin Stirling, Mads Tofte
2009 J jnl
Standard ML language.
Scholarpedia
Mads Tofte
2004 J jnl
A Retrospective on Region-Based Memory Management.
High. Order Symb. Comput.
Mads Tofte, Lars Birkedal, Martin Elsman, Niels Hallenberg
2002 A* conf
Combining Region Inference and Garbage Collection.
PLDI
Niels Hallenberg, Martin Elsman, Mads Tofte
2001 J jnl
A constraint-based region inference algorithm.
Theor. Comput. Sci.
Lars Birkedal, Mads Tofte
2000 — conf
A brief scientific biography of Robin Milner.
Proof, Language, and Interaction
Gordon D. Plotkin, Colin Stirling, Mads Tofte
2000 — ed.
Proof, Language, and Interaction, Essays in Honour of Robin Milner
Proof, Language, and Interaction
Gordon D. Plotkin, Colin Stirling, Mads Tofte
2000 — conf
Unification and polymorphism in region inference.
Proof, Language, and Interaction
Mads Tofte, Lars Birkedal
1999 B conf
A Type Discipline for Solving Year 2000 Problems in COBOL Programs.
MFCS
Mads Tofte
1999 — conf
AnnoDomini in Practice: A Type-Theoretic Approach to the Year 2000 Problem.
TLCA
Peter Harry Eidorff, Fritz Henglein, Christian Mossin, Henning Niss, Morten Heine Sørensen, Mads Tofte
1999 A* conf
AnnoDomini: From Type Theory to Year 2000 Conversion Tool.
POPL
Peter Harry Eidorff, Fritz Henglein, Christian Mossin, Henning Niss, Morten Heine Sørensen, Mads Tofte
1998 C conf
A Brief Introduction to Regions.
ISMM
Mads Tofte
1998 J jnl
A Region Inference Algorithm.
ACM Trans. Program. Lang. Syst.
Mads Tofte, Lars Birkedal
1997 A ed.
Proceedings of the 1997 ACM SIGPLAN International Conference on Functional Programming (ICFP '97), Amsterdam, The Netherlands, June 9-11, 1997.
ICFP
Simon L. Peyton Jones, Mads Tofte, A. Michael Berman
1997 J jnl
Region-based Memory Management.
Inf. Comput.
Mads Tofte, Jean-Pierre Talpin
1996 — conf
Essentials of Standard ML Modules.
Advanced Functional Programming
Mads Tofte
1996 A* conf
From Region Inference to von Neumann Machines via Region Representation Inference.
POPL
Lars Birkedal, Mads Tofte, Magnus Vejlstrup
1995 B conf
Region Inference for Higher-Order Functional Languages
SAS
Mads Tofte
1994 A conf
A Semantics for Higher-Order Functors.
ESOP
David B. MacQueen, Mads Tofte
1994 A* conf
Implementation of the Typed Call-by-Value lambda-Calculus using a Stack of Regions.
POPL
Mads Tofte, Jean-Pierre Talpin
1994 J jnl
Principal Signatures for Higher-Order Program Modules.
J. Funct. Program.
Mads Tofte
1992 A* conf
Principal Signatures for Higher-Order Program Modules.
POPL
Mads Tofte
1991 J jnl
Co-Induction in Relational Semantics.
Theor. Comput. Sci.
Robin Milner, Mads Tofte
1991 — book
Commentary on standard ML.
Robin Milner, Mads Tofte
1990 — book
Compiler Generators - What They Can Do, What They Might Do, and What They Will Probably Never Do
Mads Tofte
1990 — book
Definition of standard ML.
Robin Milner, Mads Tofte, Robert Harper
1990 J jnl
Type Inference for Polymorphic References
Inf. Comput.
Mads Tofte
1987 — conf
A Type Discipline for Program Modules.
TAPSOFT, Vol.2
Robert Harper, Robin Milner, Mads Tofte