Mads Tofte - RankMe

28 papers A* 5A 2B 2C 1Journal 9Unranked 5

Year	Rank	Type	Title / Venue / Authors
2010	J	`jnl`	Obituary: Robin Milner (1934-2010). Bull. EATCS Gordon D. Plotkin, Colin Stirling, Mads Tofte
2009	J	`jnl`	Standard ML language. Scholarpedia Mads Tofte
2004	J	`jnl`	A Retrospective on Region-Based Memory Management. High. Order Symb. Comput. Mads Tofte, Lars Birkedal, Martin Elsman, Niels Hallenberg
2002	A*	`conf`	Combining Region Inference and Garbage Collection. PLDI Niels Hallenberg, Martin Elsman, Mads Tofte
2001	J	`jnl`	A constraint-based region inference algorithm. Theor. Comput. Sci. Lars Birkedal, Mads Tofte
2000	—	`conf`	A brief scientific biography of Robin Milner. Proof, Language, and Interaction Gordon D. Plotkin, Colin Stirling, Mads Tofte
2000	—	`ed.`	Proof, Language, and Interaction, Essays in Honour of Robin Milner Proof, Language, and Interaction Gordon D. Plotkin, Colin Stirling, Mads Tofte
2000	—	`conf`	Unification and polymorphism in region inference. Proof, Language, and Interaction Mads Tofte, Lars Birkedal
1999	B	`conf`	A Type Discipline for Solving Year 2000 Problems in COBOL Programs. MFCS Mads Tofte
1999	—	`conf`	AnnoDomini in Practice: A Type-Theoretic Approach to the Year 2000 Problem. TLCA Peter Harry Eidorff, Fritz Henglein, Christian Mossin, Henning Niss, Morten Heine Sørensen, Mads Tofte
1999	A*	`conf`	AnnoDomini: From Type Theory to Year 2000 Conversion Tool. POPL Peter Harry Eidorff, Fritz Henglein, Christian Mossin, Henning Niss, Morten Heine Sørensen, Mads Tofte
1998	C	`conf`	A Brief Introduction to Regions. ISMM Mads Tofte
1998	J	`jnl`	A Region Inference Algorithm. ACM Trans. Program. Lang. Syst. Mads Tofte, Lars Birkedal
1997	A	`ed.`	Proceedings of the 1997 ACM SIGPLAN International Conference on Functional Programming (ICFP '97), Amsterdam, The Netherlands, June 9-11, 1997. ICFP Simon L. Peyton Jones, Mads Tofte, A. Michael Berman
1997	J	`jnl`	Region-based Memory Management. Inf. Comput. Mads Tofte, Jean-Pierre Talpin
1996	—	`conf`	Essentials of Standard ML Modules. Advanced Functional Programming Mads Tofte
1996	A*	`conf`	From Region Inference to von Neumann Machines via Region Representation Inference. POPL Lars Birkedal, Mads Tofte, Magnus Vejlstrup
1995	B	`conf`	Region Inference for Higher-Order Functional Languages SAS Mads Tofte
1994	A	`conf`	A Semantics for Higher-Order Functors. ESOP David B. MacQueen, Mads Tofte
1994	A*	`conf`	Implementation of the Typed Call-by-Value lambda-Calculus using a Stack of Regions. POPL Mads Tofte, Jean-Pierre Talpin
1994	J	`jnl`	Principal Signatures for Higher-Order Program Modules. J. Funct. Program. Mads Tofte
1992	A*	`conf`	Principal Signatures for Higher-Order Program Modules. POPL Mads Tofte
1991	J	`jnl`	Co-Induction in Relational Semantics. Theor. Comput. Sci. Robin Milner, Mads Tofte
1991	—	`book`	Commentary on standard ML. Robin Milner, Mads Tofte
1990	—	`book`	Compiler Generators - What They Can Do, What They Might Do, and What They Will Probably Never Do Mads Tofte
1990	—	`book`	Definition of standard ML. Robin Milner, Mads Tofte, Robert Harper
1990	J	`jnl`	Type Inference for Polymorphic References Inf. Comput. Mads Tofte
1987	—	`conf`	A Type Discipline for Program Modules. TAPSOFT, Vol.2 Robert Harper, Robin Milner, Mads Tofte