The SCEAS System
Navigation Menu

Search the dblp DataBase

Title:
Author:

Mads Tofte: [Publications] [Author Rank by year] [Co-authors] [Prefers] [Cites] [Cited by]

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]


Search in 0.003secs, Finished in 0.004secs
NOTICE1
System may not be available sometimes or not working properly, since it is still in development with continuous upgrades
NOTICE2
The rankings that are presented on this page should NOT be considered as formal since the citation info is incomplete in DBLP
 
System created by asidirop@csd.auth.gr [http://users.auth.gr/~asidirop/] © 2002
for Data Engineering Laboratory, Department of Informatics, Aristotle University © 2002