2007 |
16 | EE | Peng Li,
Simon Marlow,
Simon L. Peyton Jones,
Andrew P. Tolmach:
Lightweight concurrency primitives for GHC.
Haskell 2007: 107-118 |
2005 |
15 | EE | Thomas Hallgren,
Mark P. Jones,
Rebekah Leslie,
Andrew P. Tolmach:
A principled approach to operating system construction in Haskell.
ICFP 2005: 116-128 |
2004 |
14 | EE | Andrew P. Tolmach,
Sergio Antoy,
Marius Nita:
Implementing functional logic languages using multiple threads and stores.
ICFP 2004: 90-102 |
13 | EE | Sergio Antoy,
Michael Hanus,
Jimeng Liu,
Andrew P. Tolmach:
A Virtual Machine for Functional Logic Computations.
IFL 2004: 108-125 |
2003 |
12 | EE | Andrew P. Tolmach,
Sergio Antoy:
A monadic semantics for core Curry.
Electr. Notes Theor. Comput. Sci. 86(3): (2003) |
2001 |
11 | | Thomas Nordin,
Andrew P. Tolmach:
Modular lazy search for Constraint Satisfaction Problems.
J. Funct. Program. 11(5): 557-587 (2001) |
1999 |
10 | | Sergio Antoy,
Andrew P. Tolmach:
Typed Higher-Order Narrowing without Higher-Order Strategies.
Fuji International Symposium on Functional and Logic Programming 1999: 335-353 |
1998 |
9 | EE | Eelco Visser,
Zine-El-Abidine Benaissa,
Andrew P. Tolmach:
Building Program Optimizers with Rewriting Strategies.
ICFP 1998: 13-26 |
8 | EE | Simon L. Peyton Jones,
Mark Shields,
John Launchbury,
Andrew P. Tolmach:
Bridging the Gulf: A Common Intermediate Language for ML and Haskell.
POPL 1998: 49-61 |
7 | EE | Andrew P. Tolmach:
Optimizing ML Using a Hierarchy of Monadic Types.
Types in Compilation 1998: 97-115 |
6 | | Andrew P. Tolmach,
Dino Oliva:
From ML to Ada: Strongly-Typed Language Interoperability via Source Translation.
J. Funct. Program. 8(4): 367-412 (1998) |
1995 |
5 | | Andrew P. Tolmach,
Andrew W. Appel:
A Debugger for Standard ML.
J. Funct. Program. 5(2): 155-200 (1995) |
1994 |
4 | EE | Andrew P. Tolmach:
Tag-Free Garbage Collection Using Explicit Type Parameters.
LISP and Functional Programming 1994: 1-11 |
1993 |
3 | | J. Gregory Morrisett,
Andrew P. Tolmach:
Procs and Locks: A Portable Multiprocessing Platform for Standard ML of New Jersey.
PPOPP 1993: 198-207 |
1991 |
2 | | Andrew P. Tolmach,
Andrew W. Appel:
Debuggable Concurrency Extensions for Standard ML.
Workshop on Parallel and Distributed Debugging 1991: 120-131 |
1990 |
1 | EE | Andrew P. Tolmach,
Andrew W. Appel:
Debugging Standard ML Without Reverse Engineering.
LISP and Functional Programming 1990: 1-12 |