Mads Tofte's AcademicInfluence.com Rankings Mads Tofte's Degrees Similar Degrees You Can Earn Why Is Mads Tofte Influential? (Suggest an Edit or Addition)
According to Wikipedia , Mads Tofte is a Danish computer scientist who has contributed in particular to functional programming and the Standard ML programming language. Education Tofte was born in Lyngby, Denmark and grew up in Holbæk, Denmark. He studied computer science and mathematics at the University of Copenhagen where he obtained an MSc degree in 1984; then at University of Edinburgh where he obtained a PhD degree in 1988 . He is doctor honoris causa 2007 from Kingston University.
(See a Problem?) Mads Tofte's Published Works
Number of citations in a given year to any of this author's works
Total number of citations to an author for the works they published in a given year. This highlights publication of the most important work(s) by the author
1990 2000 0 250 500 750 1000 1250 1500 1750 2000 2250 2500 2750 3000 Published Works Definition of standard ML (1990) Region-based Memory Management (1997) The Definition of Standard ML (Revised) (1997) (387)Proof, language, and interaction: essays in honour of Robin Milner (2000) (376)Implementation of the typed call-by-value λ-calculus using a stack of regions (1994) Commentary on standard ML (1990) (218)Type Inference for Polymorphic References (1990) Operational Semantics and Polymorphic Type Inference (1988) (175)Co-Induction in Relational Semantics (1991) From region inference to von Neumann machines via region representation inference (1996) A region inference algorithm (1998) Combining region inference and garbage collection (2002) A Semantics for Higher-Order Functors (1994) The definition of standard ML, Version 3 (1988) (83)A Retrospective on Region-Based Memory Management (2004) AnnoDomini: from type theory to Year 2000 conversion tool (1999) Programming with regions in the ml kit (for version 4) (1998) (48)Programming with regions in the ML Kit (1997) (44)Principal signatures for higher-order program modules (1992) A Type Discipline for Program Modules (1987) A brief introduction to regions (1998) A theory of stack allocation in polymorphically typed languages (1993) (35)The definition of standard ML Version 2: LFCS report ECS-LFCS-88-62 (1988) (33)A constraint-based region inference algorithm (2001) Compiler Generators: What They Can Do, What They Might Do, and What They Will Probably Never Do (1990) (21)Pict: A Programming Language Based on the Pi-Calculus (2000) (17)Unification and polymorphism in region inference (2000) Compiler Generators (1990) Essentials of Standard ML Modules (1996) A Complete Axiom System for Finite-State Probabilistic Processes (2000) (12)A Type-Theoretic Interpretation of Standard ML (2000) (10)AnnoDomini in Practice: A Type-Theoretic Approach to the Year 2000 Problem (1999) A Calculus of Communicating Systems with Label Passing—Ten Years After (2000) Object-Oriented Programming and Standard ML (1994) (7)Model Checking Algorithms for the µ-Calculus (2000) (7)The Foundations of Esterel (2000) (6)Region Inference for Higher-Order Functional Languages (1995) Proceedings of the second ACM SIGPLAN international conference on Functional programming (1997) (5)The semantics of standard LM Version 1: LFCS report ECS-LFCS-87-36 (1987) (5)λ-Calculus, Multiplicities, and the π-Calculus (2000) (4)Combining the Typed λ-Calculus with CCS (2000) Algebraic Derivation of an Operational Semantics (2000) (1)Implementation of the Typed CallbyValue CallbyValue CallbyValue byValue byValue λcalculus λcalculus λcalculus using a Stack of Regions (1994) (1)The Tile Model (2000) (1)Standard ML language (2009) Enhancing the Tractability of Rely/Guarantee Specifications in the Development of Interfering Operations (2000) (1)On the Star Height of Unary Regular Behaviours (2000) (0)A brief scientific biography of Robin Milner (2000) Dynamic Semantics for Modules (1997) Appendix: Full Grammar (1997) (0)Obituary: Robin Milner (1934-2010) (2010) (0)Appendix: The Initial Dynamic Basis (1997) (0)Report on the Compiler Generator CERES (1990) Appendix: The Initial Static Basis (1997) (0)Appendix: Derived Forms (1997) Syntax of the Core (1997) On Semantics, Compiler Generation, and Hacking (1990) Concurrent Objects as Mobile Processes (2000) (0)Static Semantics for the Core (1997) Discussion of Technical Aspects of Compiler Generation (1990) Constructively Formalizing Automata Theory (2000) (0)Compiler Generation, Composability and Self-composability (1990) Title: Region-based Memory Management 1 (1997) (0)Static Semantics for Modules (1997) Benchmark Prog. Size (1997) (0)Trios in Concert (2000) (0)Dynamic Semantics for the Core (1997) Appendix: What is New? (1997) (0)Robin Milner: 13 January 1934–20 March 2010 (2010) Axioms for Definability and Full Completeness (2000) (0)A Fixedpoint Approach to (Co)Inductive and (Co)Datatype Definitions (2000) (0)A Type Discipline for Solving Year 2000 Problems in COBOL Programs (1999) Scientific Biography of Robin Milner Gordon Plotkin (2010) (0)Constructive Category Theory (2000) (0)Lazy Functions and Mobile Processes (2000) (0)The semantics of standard LM Version 1 (1987) (0)Syntax of Modules (1997) From Banach to Milner: Metric Semantics for Second Order Communication and Concurrency (2000) (0)More Papers This paper list is powered by the following services:
Other Resources About Mads Tofte What Schools Are Affiliated With Mads Tofte? Mads Tofte is affiliated with the following schools:
