Mads Tofte

According to our database, Mads Tofte authored at least 25 papers between 1987 and 2010.

Collaborative distances:

• Dijkstra number of three.
• Erdős number of four.

2010

Obituary: Robin Milner (1934-2010).

Gordon D. Plotkin, Colin Stirling, Mads Tofte

Bull. EATCS, 2010

2009

Standard ML language.

Mads Tofte

Scholarpedia, 2009

2004

A Retrospective on Region-Based Memory Management.

Mads Tofte, Lars Birkedal, Martin Elsman, Niels Hallenberg

High. Order Symb. Comput., 2004

2002

Combining Region Inference and Garbage Collection.

Niels Hallenberg, Martin Elsman, Mads Tofte

Proceedings of the 2002 ACM SIGPLAN Conference on Programming Language Design and Implementation (PLDI), 2002

2001

A constraint-based region inference algorithm.

Lars Birkedal, Mads Tofte

Theor. Comput. Sci., 2001

2000

Unification and polymorphism in region inference.

Mads Tofte, Lars Birkedal

Proceedings of the Proof, Language, and Interaction, Essays in Honour of Robin Milner, 2000

A brief scientific biography of Robin Milner.

Gordon D. Plotkin, Colin Stirling, Mads Tofte

Proceedings of the Proof, Language, and Interaction, Essays in Honour of Robin Milner, 2000

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

Proceedings of the Typed Lambda Calculi and Applications, 4th International Conference, 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

Proceedings of the POPL '99, 1999

A Type Discipline for Solving Year 2000 Problems in COBOL Programs.

Mads Tofte

Proceedings of the Mathematical Foundations of Computer Science 1999, 1999

1998

A Region Inference Algorithm.

Mads Tofte, Lars Birkedal

ACM Trans. Program. Lang. Syst., 1998

A Brief Introduction to Regions.

Mads Tofte

Proceedings of the International Symposium on Memory Management, 1998

1997

Region-based Memory Management.

Mads Tofte, Jean-Pierre Talpin

Inf. Comput., 1997

1996

From Region Inference to von Neumann Machines via Region Representation Inference.

Lars Birkedal, Mads Tofte, Magnus Vejlstrup

Proceedings of the Conference Record of POPL'96: The 23rd ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, 1996

Essentials of Standard ML Modules.

Mads Tofte

Proceedings of the Advanced Functional Programming, 1996

1995

Region Inference for Higher-Order Functional Languages

Mads Tofte

Proceedings of the Static Analysis, 1995

1994

Principal Signatures for Higher-Order Program Modules.

Mads Tofte

J. Funct. Program., 1994

Implementation of the Typed Call-by-Value lambda-Calculus using a Stack of Regions.

Mads Tofte, Jean-Pierre Talpin

Proceedings of the Conference Record of POPL'94: 21st ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, 1994

A Semantics for Higher-Order Functors.

David B. MacQueen, Mads Tofte

Proceedings of the Programming Languages and Systems, 1994

1991

Co-Induction in Relational Semantics.

Robin Milner, Mads Tofte

Theor. Comput. Sci., 1991

Commentary on standard ML.

Robin Milner, Mads Tofte

MIT Press, ISBN: 978-0-262-63137-2, 1991

1990

Type Inference for Polymorphic References

Mads Tofte

Inf. Comput., November, 1990

Compiler Generators - What They Can Do, What They Might Do, and What They Will Probably Never Do

Mads Tofte

EATCS Monographs on Theoretical Computer Science 19, Springer, ISBN: 978-3-642-61504-7, 1990

Definition of standard ML.

Robin Milner, Mads Tofte, Robert Harper

MIT Press, ISBN: 978-0-262-63132-7, 1990

1987

A Type Discipline for Program Modules.

Robert Harper, Robin Milner, Mads Tofte

Proceedings of the TAPSOFT'87: Proceedings of the International Joint Conference on Theory and Practice of Software Development, 1987