Andrew P. Tolmach

24 papers A* 1A 7B 1C 2Journal 5Unranked 8
YearRankTypeTitle / Venue / Authors
2016 C conf
A constraint language for static semantic analysis based on scope graphs.
PEPM
Hendrik van Antwerpen, Pierre Neron, Andrew P. Tolmach, Eelco Visser, Guido Wachsmuth
2016 J jnl
Scopes Describe Frames: A Uniform Model for Memory Layout in Dynamic Semantics (Artifact).
Dagstuhl Artifacts Ser.
Casper Bach Poulsen, Pierre Néron, Andrew P. Tolmach, Eelco Visser
2016 A conf
Scopes Describe Frames: A Uniform Model for Memory Layout in Dynamic Semantics.
ECOOP
Casper Bach Poulsen, Pierre Néron, Andrew P. Tolmach, Eelco Visser
2015 A conf
A Theory of Name Resolution.
ESOP
Pierre Neron, Andrew P. Tolmach, Eelco Visser, Guido Wachsmuth
2014 — conf
A Language Designer's Workbench: A One-Stop-Shop for Implementation and Verification of Language Designs.
Onward!
Eelco Visser, Guido Wachsmuth, Andrew P. Tolmach, Pierre Neron, Vlad A. Vergu, Augusto Passalaqua, Gabriël Konat
2011 J jnl
Special Issue Dedicated to ICFP 2009 Editorial.
J. Funct. Program.
Andrew P. Tolmach, Xavier Leroy
2010 A conf
A certified framework for compiling and executing garbage-collected languages.
ICFP
Andrew McCreight, Tim Chevalier, Andrew P. Tolmach
2009 A ed.
Proceeding of the 14th ACM SIGPLAN international conference on Functional programming, ICFP 2009, Edinburgh, Scotland, UK, August 31 - September 2, 2009
ICFP
Graham Hutton, Andrew P. Tolmach
2007 C conf
Lightweight concurrency primitives for GHC.
Haskell
Peng Li, Simon Marlow, Simon L. Peyton Jones, Andrew P. Tolmach
2005 A conf
A principled approach to operating system construction in Haskell.
ICFP
Thomas Hallgren, Mark P. Jones, Rebekah Leslie, Andrew P. Tolmach
2004 — conf
A Virtual Machine for Functional Logic Computations.
IFL
Sergio Antoy, Michael Hanus, Jimeng Liu, Andrew P. Tolmach
2004 A conf
Implementing functional logic languages using multiple threads and stores.
ICFP
Andrew P. Tolmach, Sergio Antoy, Marius Nita
2003 — conf
A monadic semantics for core Curry.
WFLP
Andrew P. Tolmach, Sergio Antoy
2001 J jnl
Modular lazy search for Constraint Satisfaction Problems.
J. Funct. Program.
Thomas Nordin, Andrew P. Tolmach
1999 — conf
Typed Higher-Order Narrowing without Higher-Order Strategies.
Fuji International Symposium on Functional and Logic Programming
Sergio Antoy, Andrew P. Tolmach
1998 A* conf
Bridging the Gulf: A Common Intermediate Language for ML and Haskell.
POPL
Simon L. Peyton Jones, Mark Shields, John Launchbury, Andrew P. Tolmach
1998 A conf
Building Program Optimizers with Rewriting Strategies.
ICFP
Eelco Visser, Zine-El-Abidine Benaissa, Andrew P. Tolmach
1998 J jnl
From ML to Ada: Strongly-Typed Language Interoperability via Source Translation.
J. Funct. Program.
Andrew P. Tolmach, Dino Oliva
1998 — conf
Optimizing ML Using a Hierarchy of Monadic Types.
Types in Compilation
Andrew P. Tolmach
1995 J jnl
A Debugger for Standard ML.
J. Funct. Program.
Andrew P. Tolmach, Andrew W. Appel
1994 — conf
Tag-Free Garbage Collection Using Explicit Type Parameters.
LISP and Functional Programming
Andrew P. Tolmach
1993 B conf
Procs and Locks: A Portable Multiprocessing Platform for Standard ML of New Jersey.
PPoPP
J. Gregory Morrisett, Andrew P. Tolmach
1991 — conf
Debuggable Concurrency Extensions for Standard ML.
Workshop on Parallel and Distributed Debugging
Andrew P. Tolmach, Andrew W. Appel
1990 — conf
Debugging Standard ML Without Reverse Engineering.
LISP and Functional Programming
Andrew P. Tolmach, Andrew W. Appel