dblp.uni-trier.dewww.uni-trier.de

Mads Tofte

List of publications from the DBLP Bibliography Server - FAQ
Coauthor Index - Ask others: ACM DL/Guide - CiteSeer - CSB - Google - MSN - Yahoo

2004
22EEMads 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
21EENiels Hallenberg, Martin Elsman, Mads Tofte: Combining Region Inference and Garbage Collection. PLDI 2002: 141-152
2001
20EELars 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
15EEPeter 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
14EEPeter 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
13EEMads Tofte: A Brief Introduction to Regions. ISMM 1998: 186-195
12EEMads 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
9EELars 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

Coauthor Index

1Lars Birkedal [9] [12] [17] [20] [22]
2Peter Harry Eidorff [14] [15]
3Martin Elsman [21] [22]
4Niels Hallenberg [21] [22]
5Robert Harper [1]
6Fritz Henglein [14] [15]
7David B. MacQueen [7]
8Robin Milner [1] [3]
9Christian Mossin [14] [15]
10Henning Niss [14] [15]
11Gordon D. Plotkin [18] [19]
12Morten Heine Sørensen [14] [15]
13Colin Stirling [18] [19]
14Jean-Pierre Talpin [6] [11]
15Magnus Vejlstrup [9]

Colors in the list of coauthors

Copyright © Sun May 17 03:24:02 2009 by Michael Ley (ley@uni-trier.de)