BibSLEIGH corpus
BibSLEIGH tags
BibSLEIGH bundles
BibSLEIGH people
Open Knowledge
XHTML 1.0 W3C Rec
CSS 2.1 W3C CanRec
email twitter
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 DBLP: Tofte:Mads

Facilitated 1 volumes:

ICFP 1997Ed

Contributed to:

PLDI 20022002
POPL 19991999
TLCA 19991999
ISMM 19981998
AFP 19961996
POPL 19961996
SAS 19951995
ESOP 19941994
POPL 19941994
POPL 19921992
TAPSOFT, Vol.2: CFLP 19871987

Wrote 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.
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.
A Type Discipline for Program Modules (RH, RM, MT), pp. 308–319.

Bibliography of Software Language Engineering in Generated Hypertext (BibSLEIGH) is created and maintained by Dr. Vadim Zaytsev.
Hosted as a part of SLEBOK on GitHub.