| 2004 |
|---|
| 22 | EE | Mads Tofte,
Lars Birkedal,
Martin Elsman,
Niels Hallenberg:
A Retrospective on Region-Based Memory Management.
Higher-Order and Symbolic Computation 17(3): 245-265 (2004) |
| 2002 |
|---|
| 21 | EE | Niels Hallenberg,
Martin Elsman,
Mads Tofte:
Combining Region Inference and Garbage Collection.
PLDI 2002: 141-152 |
| 2001 |
|---|
| 20 | EE | Lars Birkedal,
Mads Tofte:
A constraint-based region inference algorithm.
Theor. Comput. Sci. 258(1-2): 299-392 (2001) |
| 2000 |
|---|
| 19 | | Gordon D. Plotkin,
Colin Stirling,
Mads Tofte:
Proof, Language, and Interaction, Essays in Honour of Robin Milner
The MIT Press 2000 |
| 18 | | Gordon D. Plotkin,
Colin Stirling,
Mads Tofte:
A brief scientific biography of Robin Milner.
Proof, Language, and Interaction 2000: 1-18 |
| 17 | | Mads Tofte,
Lars Birkedal:
Unification and polymorphism in region inference.
Proof, Language, and Interaction 2000: 389-424 |
| 1999 |
|---|
| 16 | | Mads Tofte:
A Type Discipline for Solving Year 2000 Problems in COBOL Programs.
MFCS 1999: 442 |
| 15 | EE | Peter Harry Eidorff,
Fritz Henglein,
Christian Mossin,
Henning Niss,
Morten Heine Sørensen,
Mads Tofte:
AnnoDomini: From Type Theory to Year 2000 Conversion Tool.
POPL 1999: 1-14 |
| 14 | EE | Peter Harry Eidorff,
Fritz Henglein,
Christian Mossin,
Henning Niss,
Morten Heine Sørensen,
Mads Tofte:
AnnoDomini in Practice: A Type-Theoretic Approach to the Year 2000 Problem.
TLCA 1999: 6-13 |
| 1998 |
|---|
| 13 | EE | Mads Tofte:
A Brief Introduction to Regions.
ISMM 1998: 186-195 |
| 12 | EE | Mads Tofte,
Lars Birkedal:
A Region Inference Algorithm.
ACM Trans. Program. Lang. Syst. 20(4): 724-767 (1998) |
| 1997 |
|---|
| 11 | | Mads Tofte,
Jean-Pierre Talpin:
Region-based Memory Management.
Inf. Comput. 132(2): 109-176 (1997) |
| 1996 |
|---|
| 10 | | Mads Tofte:
Essentials of Standard ML Modules.
Advanced Functional Programming 1996: 208-238 |
| 9 | EE | Lars Birkedal,
Mads Tofte,
Magnus Vejlstrup:
From Region Inference to von Neumann Machines via Region Representation Inference.
POPL 1996: 171-183 |
| 1995 |
|---|
| 8 | | Mads Tofte:
Region Inference for Higher-Order Functional Languages
SAS 1995: 19-20 |
| 1994 |
|---|
| 7 | | David B. MacQueen,
Mads Tofte:
A Semantics for Higher-Order Functors.
ESOP 1994: 409-423 |
| 6 | | Mads Tofte,
Jean-Pierre Talpin:
Implementation of the Typed Call-by-Value lambda-Calculus using a Stack of Regions.
POPL 1994: 188-201 |
| 5 | | Mads Tofte:
Principal Signatures for Higher-Order Program Modules.
J. Funct. Program. 4(3): 285-335 (1994) |
| 1992 |
|---|
| 4 | | Mads Tofte:
Principal Signatures for Higher-Order Program Modules.
POPL 1992: 189-199 |
| 1991 |
|---|
| 3 | | Robin Milner,
Mads Tofte:
Co-Induction in Relational Semantics.
Theor. Comput. Sci. 87(1): 209-220 (1991) |
| 1990 |
|---|
| 2 | | Mads Tofte:
Type Inference for Polymorphic References
Inf. Comput. 89(1): 1-34 (1990) |
| 1987 |
|---|
| 1 | | Robert Harper,
Robin Milner,
Mads Tofte:
A Type Discipline for Program Modules.
TAPSOFT, Vol.2 1987: 308-319 |
