Mads Tofte
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
8
Venues
5
Active years
1992–2002
Best venue rank
A*
Where they publish
Papers
8 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2002 | PLDI | Combining Region Inference and Garbage Collection. | Niels Hallenberg, Martin Elsman, Mads Tofte |
| 1999 | MFCS | A Type Discipline for Solving Year 2000 Problems in COBOL Programs. | Mads Tofte |
| 1999 | POPL | AnnoDomini: From Type Theory to Year 2000 Conversion Tool. | Peter Harry Eidorff, Fritz Henglein, Christian Mossin, Henning Niss, Morten Heine Srensen, Mads Tofte |
| 1996 | POPL | From Region Inference to von Neumann Machines via Region Representation Inference. | Lars Birkedal, Mads Tofte, Magnus Vejlstrup |
| 1995 | SAS | Region Inference for Higher-Order Functional Languages | Mads Tofte |
| 1994 | ESOP | A Semantics for Higher-Order Functors. | David B. MacQueen, Mads Tofte |
| 1994 | POPL | Implementation of the Typed Call-by-Value lambda-Calculus using a Stack of Regions. | Mads Tofte, Jean-Pierre Talpin |
| 1992 | POPL | Principal Signatures for Higher-Order Program Modules. | Mads Tofte |