Mads Tofte

Affiliations:
  • IT University of Copenhagen, Denmark


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

Collaborative distances:

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Other 

Links

Online presence:

On csauthors.net:

Bibliography

2010
Obituary: Robin Milner (1934-2010).
Bull. EATCS, 2010

2009
Standard ML language.
Scholarpedia, 2009

2004
A Retrospective on Region-Based Memory Management.
High. Order Symb. Comput., 2004

2002
Combining Region Inference and Garbage Collection.
Proceedings of the 2002 ACM SIGPLAN Conference on Programming Language Design and Implementation (PLDI), 2002

2001
A constraint-based region inference algorithm.
Theor. Comput. Sci., 2001

2000
Unification and polymorphism in region inference.
Proceedings of the Proof, Language, and Interaction, Essays in Honour of Robin Milner, 2000

A brief scientific biography of Robin Milner.
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.
Proceedings of the Typed Lambda Calculi and Applications, 4th International Conference, 1999

AnnoDomini: From Type Theory to Year 2000 Conversion Tool.
Proceedings of the POPL '99, 1999

A Type Discipline for Solving Year 2000 Problems in COBOL Programs.
Proceedings of the Mathematical Foundations of Computer Science 1999, 1999

1998
A Region Inference Algorithm.
ACM Trans. Program. Lang. Syst., 1998

A Brief Introduction to Regions.
Proceedings of the International Symposium on Memory Management, 1998

1997
Region-based Memory Management.
Inf. Comput., 1997

1996
From Region Inference to von Neumann Machines via Region Representation Inference.
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.
Proceedings of the Advanced Functional Programming, 1996

1995
Region Inference for Higher-Order Functional Languages
Proceedings of the Static Analysis, 1995

1994
Principal Signatures for Higher-Order Program Modules.
J. Funct. Program., 1994

Implementation of the Typed Call-by-Value lambda-Calculus using a Stack of Regions.
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.
Proceedings of the Programming Languages and Systems, 1994

1991
Co-Induction in Relational Semantics.
Theor. Comput. Sci., 1991

Commentary on standard ML.
MIT Press, ISBN: 978-0-262-63137-2, 1991

1990
Type Inference for Polymorphic References
Inf. Comput., November, 1990

Compiler Generators - What They Can Do, What They Might Do, and What They Will Probably Never Do
EATCS Monographs on Theoretical Computer Science 19, Springer, ISBN: 978-3-642-61504-7, 1990

Definition of standard ML.
MIT Press, ISBN: 978-0-262-63132-7, 1990

1987
A Type Discipline for Program Modules.
Proceedings of the TAPSOFT'87: Proceedings of the International Joint Conference on Theory and Practice of Software Development, 1987


  Loading...