A Type Discipline for Program Modules. - Robert Harper 001; Robin Milner; Mads Tofte (TAPSOFT, Vol.2, 1987)

Definition of standard ML. - Robin Milner; Mads Tofte; Robert Harper 001 (MIT Press, 1990)

Compiler Generators - What They Can Do, What They Might Do, and What They Will Probably Never Do - Mads Tofte (Springer, 1990)

Type Inference for Polymorphic References - Mads Tofte (Inf. Comput., 1990)

Commentary on standard ML. - Robin Milner; Mads Tofte (MIT Press, 1991)

Co-Induction in Relational Semantics. - Robin Milner; Mads Tofte (Theor. Comput. Sci., 1991)

A Semantics for Higher-Order Functors. - David B. MacQueen; Mads Tofte (ESOP, 1994)

Implementation of the Typed Call-by-Value lambda-Calculus using a Stack of Regions. - Mads Tofte; Jean-Pierre Talpin (POPL, 1994)

Principal Signatures for Higher-Order Program Modules. - Mads Tofte (J. Funct. Program., 1994)

Region Inference for Higher-Order Functional Languages - Mads Tofte (SAS, 1995)

Essentials of Standard ML Modules. - Mads Tofte (Advanced Functional Programming, 1996)

From Region Inference to von Neumann Machines via Region Representation Inference. - Lars Birkedal; Mads Tofte; Magnus Vejlstrup (POPL, 1996)

Region-based Memory Management. - Mads Tofte; Jean-Pierre Talpin (Inf. Comput., 1997)

A Brief Introduction to Regions. - Mads Tofte (ISMM, 1998)

A Region Inference Algorithm. - Mads Tofte; Lars Birkedal (ACM Trans. Program. Lang. Syst., 1998)

A Type Discipline for Solving Year 2000 Problems in COBOL Programs. - Mads Tofte (MFCS, 1999)

AnnoDomini: From Type Theory to Year 2000 Conversion Tool. - Peter Harry Eidorff; Fritz Henglein; Christian Mossin; Henning Niss; Morten Heine Sørensen; Mads Tofte (POPL, 1999)

AnnoDomini in Practice: A Type-Theoretic Approach to the Year 2000 Problem. - Peter Harry Eidorff; Fritz Henglein; Christian Mossin; Henning Niss; Morten Heine Sørensen; Mads Tofte (TLCA, 1999)

A brief scientific biography of Robin Milner. - Gordon D. Plotkin; Colin Stirling; Mads Tofte (Proof, Language, and Interaction, 2000)

Unification and polymorphism in region inference. - Mads Tofte; Lars Birkedal (Proof, Language, and Interaction, 2000)

A constraint-based region inference algorithm. - Lars Birkedal; Mads Tofte (Theor. Comput. Sci., 2001)

Combining Region Inference and Garbage Collection. - Niels Hallenberg; Martin Elsman; Mads Tofte (PLDI, 2002)

A Retrospective on Region-Based Memory Management. - Mads Tofte; Lars Birkedal; Martin Elsman; Niels Hallenberg (High. Order Symb. Comput., 2004)

Standard ML language. - Mads Tofte (Scholarpedia, 2009)

Obituary: Robin Milner (1934-2010). - Gordon D. Plotkin; Colin Stirling; Mads Tofte (Bull. EATCS, 2010)