M
Mads Tofte
Researcher at University of Copenhagen
Publications - 39
Citations - 6300
Mads Tofte is an academic researcher from University of Copenhagen. The author has contributed to research in topics: Standard ML & Garbage collection. The author has an hindex of 21, co-authored 39 publications receiving 6211 citations. Previous affiliations of Mads Tofte include University of Nigeria, Nsukka & University of Edinburgh.
Papers
More filters
Proceedings ArticleDOI
From region inference to von Neumann machines via region representation inference
TL;DR: This paper is concerned with mapping the mathematical model of region inference onto real machines by composing region inference with Region Representation Inference, which gradually refines region information till it is directly implementable on conventional von Neumann machines.
Journal ArticleDOI
A region inference algorithm
Mads Tofte,Lars Birkedal +1 more
TL;DR: It is proved that the algorithm is sound with respect to the region inference rules and that it always terminates even though the area inference rules permit polymorphic recursion in regions.
Journal ArticleDOI
A Retrospective on Region-Based Memory Management
TL;DR: The experience with designing, implementing, proving correct, and evaluating a region-based memory management system is reported on.
Book ChapterDOI
A Semantics for Higher-Order Functors
David MacQueen,Mads Tofte +1 more
TL;DR: The higher-order functors described here are implemented in the current version of Standard ML of New Jersey and have proved useful in programming practice.