Travelled to:1 × Canada
1 × Germany
1 × Italy
2 × United Kingdom
5 × USA
Collaborated with:∅ D.B.MacQueen J.Talpin N.Hallenberg M.Elsman P.H.Eidorff F.Henglein C.Mossin H.Niss M.H.Sørensen L.Birkedal M.Vejlstrup R.Harper R.Milner
Talks about:region (6) infer (4) type (4) higher (3) order (3) modul (3) program (2) domini (2) year (2) anno (2)
Person: Mads Tofte
DBLP: Tofte:Mads
Facilitated 1 volumes:
EdContributed to:
2002
1999
1999
1998
19961996
1995
199419941992
1987Wrote 11 papers:
- PLDI-2002-HallenbergET #garbage collection
- Combining Region Inference and Garbage Collection (NH, ME, MT), pp. 141–152.
- POPL-1999-EidorffHMNST #named #type system
- AnnoDomini: From Type Theory to Year 2000 Conversion Tool (PHE, FH, CM, HN, MHS, MT), pp. 1–14.
- TLCA-1999-EidorffHMNST #approach #problem
- AnnoDomini in Practice: A Type-Theoretic Approach to the Year 2000 Problem (PHE, FH, CM, HN, MHS, MT), pp. 6–13.
- ISMM-1998-Tofte
- A Brief Introduction to Regions (MT), pp. 186–195.
- AFP-1996-Tofte96 #ml #standard
- Essentials of Standard ML Modules (MT), pp. 208–238.
- POPL-1996-BirkedalTV #representation
- From Region Inference to von Neumann Machines via Region Representation Inference (LB, MT, MV), pp. 171–183.
- SAS-1995-Tofte #functional #higher-order
- Region Inference for Higher-Order Functional Languages (MT), pp. 19–20.
- ESOP-1994-MacQueenT #higher-order #semantics
- A Semantics for Higher-Order Functors (DBM, MT), pp. 409–423.
- POPL-1994-TofteT #call-by #implementation #stack #using #λ-calculus
- Implementation of the Typed Call-by-Value λ-Calculus using a Stack of Regions (MT, JPT), pp. 188–201.
- POPL-1992-Tofte #higher-order
- Principal Signatures for Higher-Order Program Modules (MT), pp. 189–199.
- CFLP-1987-HarperMT
- A Type Discipline for Program Modules (RH, RM, MT), pp. 308–319.