Andrew P. Tolmach

Publication Activity (10 Years)

Years Active: 1990-2016
Publications (10 Years): 3

Top Topics

Theoretical Foundation

Natural Language Processing

Top Venues

Dagstuhl Artifacts Ser.

Publications

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