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
Book
The Definition of Standard ML
TL;DR: This book provides a formal definition of Standard ML for the benefit of all concerned with the language, including users and implementers, and the authors have defined their semantic objects in mathematical notation that is completely independent of StandardML.
Book
The Definition of Standard ML (Revised)
TL;DR: Part 1 Syntax of the core: reserved words special constants comments identifiers lexical analysis infixed operators derived forms grammar syntactic restrictions.
Journal ArticleDOI
Region-based memory management
Mads Tofte,Jean-Pierre Talpin +1 more
TL;DR: A region-based dynamic semantics for a skeletal programming language extracted from Standard ML is defined and the inference system which specifies where regions can be allocated and de-allocated is presented and a detailed proof that the system is sound with respect to a standard semantics is presented.
Proceedings ArticleDOI
Implementation of the typed call-by-value λ-calculus using a stack of regions
Mads Tofte,Jean-Pierre Talpin +1 more
TL;DR: The translation is proved correct with respect to a store semantics, which models as a region-based run-time system for polymorphically typed call-by-value λ-calculus.
Book
Proof, language, and interaction: essays in honour of Robin Milner
TL;DR: A collection of original essays reflecting the breadth of current research in computer science can be found in this paper, which includes five sections: Semantic Foundations, Programming Logic, Programming Languages, Concurrency, and Mobility.