Search the dblp DataBase

Publications of Author

1. Mads Tofte
   Essentials of Standard ML Modules. [Citation Graph (0, 0)][DBLP]
   Advanced Functional Programming, 1996, pp:208-238 [Conf]
   
2. David B. MacQueen, Mads Tofte
   A Semantics for Higher-Order Functors. [Citation Graph (0, 0)][DBLP]
   ESOP, 1994, pp:409-423 [Conf]
   
3. Mads Tofte
   A Brief Introduction to Regions. [Citation Graph (0, 0)][DBLP]
   ISMM, 1998, pp:186-195 [Conf]
   
4. Mads Tofte
   A Type Discipline for Solving Year 2000 Problems in COBOL Programs. [Citation Graph (0, 0)][DBLP]
   MFCS, 1999, pp:442- [Conf]
   
5. Niels Hallenberg, Martin Elsman, Mads Tofte
   Combining Region Inference and Garbage Collection. [Citation Graph (0, 0)][DBLP]
   PLDI, 2002, pp:141-152 [Conf]
   
6. Lars Birkedal, Mads Tofte, Magnus Vejlstrup
   From Region Inference to von Neumann Machines via Region Representation Inference. [Citation Graph (0, 0)][DBLP]
   POPL, 1996, pp:171-183 [Conf]
   
7. Peter Harry Eidorff, Fritz Henglein, Christian Mossin, Henning Niss, Morten Heine Sørensen, Mads Tofte
   AnnoDomini: From Type Theory to Year 2000 Conversion Tool. [Citation Graph (0, 0)][DBLP]
   POPL, 1999, pp:1-14 [Conf]
   
8. Mads Tofte
   Principal Signatures for Higher-Order Program Modules. [Citation Graph (0, 0)][DBLP]
   POPL, 1992, pp:189-199 [Conf]
   
9. Mads Tofte, Jean-Pierre Talpin
   Implementation of the Typed Call-by-Value lambda-Calculus using a Stack of Regions. [Citation Graph (0, 0)][DBLP]
   POPL, 1994, pp:188-201 [Conf]
   
10. Mads Tofte
    Region Inference for Higher-Order Functional Languages [Citation Graph (0, 0)][DBLP]
    SAS, 1995, pp:19-20 [Conf]
    
11. Robert Harper, Robin Milner, Mads Tofte
    A Type Discipline for Program Modules. [Citation Graph (0, 0)][DBLP]
    TAPSOFT, Vol.2, 1987, pp:308-319 [Conf]
    
12. Peter 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. [Citation Graph (0, 0)][DBLP]
    TLCA, 1999, pp:6-13 [Conf]
    
13. Mads Tofte
    Type Inference for Polymorphic References [Citation Graph (0, 0)][DBLP]
    Inf. Comput., 1990, v:89, n:1, pp:1-34 [Journal]
    
14. Mads Tofte, Jean-Pierre Talpin
    Region-based Memory Management. [Citation Graph (0, 0)][DBLP]
    Inf. Comput., 1997, v:132, n:2, pp:109-176 [Journal]
    
15. Mads Tofte
    Principal Signatures for Higher-Order Program Modules. [Citation Graph (0, 0)][DBLP]
    J. Funct. Program., 1994, v:4, n:3, pp:285-335 [Journal]
    
16. Mads Tofte, Lars Birkedal, Martin Elsman, Niels Hallenberg
    A Retrospective on Region-Based Memory Management. [Citation Graph (0, 0)][DBLP]
    Higher-Order and Symbolic Computation, 2004, v:17, n:3, pp:245-265 [Journal]
    
17. Lars Birkedal, Mads Tofte
    A constraint-based region inference algorithm. [Citation Graph (0, 0)][DBLP]
    Theor. Comput. Sci., 2001, v:258, n:1-2, pp:299-392 [Journal]
    
18. Robin Milner, Mads Tofte
    Co-Induction in Relational Semantics. [Citation Graph (0, 0)][DBLP]
    Theor. Comput. Sci., 1991, v:87, n:1, pp:209-220 [Journal]
    
19. Mads Tofte, Lars Birkedal
    A Region Inference Algorithm. [Citation Graph (0, 0)][DBLP]
    ACM Trans. Program. Lang. Syst., 1998, v:20, n:4, pp:724-767 [Journal]
    
20. 
    Unification and polymorphism in region inference. [Citation Graph (, )][DBLP]
    
    
21. 
    A brief scientific biography of Robin Milner. [Citation Graph (, )][DBLP]