Mads Tofte

Publication Activity (10 Years)

Years Active: 1987-2010
Publications (10 Years): 0

Publications

Gordon D. Plotkin, Colin Stirling, Mads Tofte
Obituary: Robin Milner (1934-2010). Bull. EATCS 101 (2010)
Mads Tofte
Standard ML language. Scholarpedia 4 (2) (2009)
Mads Tofte, Lars Birkedal, Martin Elsman, Niels Hallenberg
A Retrospective on Region-Based Memory Management. High. Order Symb. Comput. 17 (3) (2004)
Niels Hallenberg, Martin Elsman, Mads Tofte
Combining Region Inference and Garbage Collection. PLDI (2002)
Lars Birkedal, Mads Tofte
A constraint-based region inference algorithm. Theor. Comput. Sci. 258 (1-2) (2001)
Mads Tofte, Lars Birkedal
Unification and polymorphism in region inference. Proof, Language, and Interaction (2000)
Gordon D. Plotkin, Colin Stirling, Mads Tofte
A brief scientific biography of Robin Milner. Proof, Language, and Interaction (2000)
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)
Mads Tofte
A Type Discipline for Solving Year 2000 Problems in COBOL Programs. MFCS (1999)
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)
Mads Tofte
A Brief Introduction to Regions. ISMM (1998)
Mads Tofte, Lars Birkedal
A Region Inference Algorithm. ACM Trans. Program. Lang. Syst. 20 (4) (1998)
Mads Tofte, Jean-Pierre Talpin
Region-based Memory Management. Inf. Comput. 132 (2) (1997)
Mads Tofte
Essentials of Standard ML Modules. Advanced Functional Programming (1996)
Lars Birkedal, Mads Tofte, Magnus Vejlstrup
From Region Inference to von Neumann Machines via Region Representation Inference. POPL (1996)
Mads Tofte
Region Inference for Higher-Order Functional Languages SAS (1995)
David B. MacQueen, Mads Tofte
A Semantics for Higher-Order Functors. ESOP (1994)
Mads Tofte
Principal Signatures for Higher-Order Program Modules. J. Funct. Program. 4 (3) (1994)
Mads Tofte, Jean-Pierre Talpin
Implementation of the Typed Call-by-Value lambda-Calculus using a Stack of Regions. POPL (1994)
Mads Tofte
Principal Signatures for Higher-Order Program Modules. POPL (1992)
Robin Milner, Mads Tofte
Co-Induction in Relational Semantics. Theor. Comput. Sci. 87 (1) (1991)
Mads Tofte
Type Inference for Polymorphic References Inf. Comput. 89 (1) (1990)
Robert Harper, Robin Milner, Mads Tofte
A Type Discipline for Program Modules. TAPSOFT, Vol.2 (1987)