| 2011 | ||
|---|---|---|
| 19 | Andrew P. Tolmach, Xavier Leroy: Special Issue Dedicated to ICFP 2009 Editorial. J. Funct. Program. 21(4-5): 331-332 (2011) | |
| 2010 | ||
| 18 | Andrew McCreight, Tim Chevalier, Andrew P. Tolmach: A certified framework for compiling and executing garbage-collected languages. ICFP 2010: 273-284 | |
| 2009 | ||
| 17 | Graham Hutton, Andrew P. Tolmach: Proceeding of the 14th ACM SIGPLAN international conference on Functional programming, ICFP 2009, Edinburgh, Scotland, UK, August 31 - September 2, 2009 ACM 2009 | |
| 2007 | ||
| 16 | Peng Li, Simon Marlow, Simon L. Peyton Jones, Andrew P. Tolmach: Lightweight concurrency primitives for GHC. Haskell 2007: 107-118 | |
| 2005 | ||
| 15 | 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 | Andrew P. Tolmach, Sergio Antoy, Marius Nita: Implementing functional logic languages using multiple threads and stores. ICFP 2004: 90-102 | |
| 13 | Sergio Antoy, Michael Hanus, Jimeng Liu, Andrew P. Tolmach: A Virtual Machine for Functional Logic Computations. IFL 2004: 108-125 | |
| 2003 | ||
| 12 | Andrew P. Tolmach, Sergio Antoy: A monadic semantics for core Curry. Electr. Notes Theor. Comput. Sci. 86(3): 16-34 (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 | Eelco Visser, Zine-El-Abidine Benaissa, Andrew P. Tolmach: Building Program Optimizers with Rewriting Strategies. ICFP 1998: 13-26 | |
| 8 | 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 | 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 | 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 | Andrew P. Tolmach, Andrew W. Appel: Debugging Standard ML Without Reverse Engineering. LISP and Functional Programming 1990: 1-12 | |
| 1 | Sergio Antoy | [10] [12] [13] [14] |
| 2 | Andrew W. Appel | [1] [2] [5] |
| 3 | Zine-El-Abidine Benaissa | [9] |
| 4 | Tim Chevalier | [18] |
| 5 | Thomas Hallgren | [15] |
| 6 | Michael Hanus | [13] |
| 7 | Graham Hutton | [17] |
| 8 | Mark P. Jones | [15] |
| 9 | Simon L. Peyton Jones | [8] [16] |
| 10 | John Launchbury | [8] |
| 11 | Xavier Leroy | [19] |
| 12 | Rebekah Leslie | [15] |
| 13 | Peng Li | [16] |
| 14 | Jimeng Liu | [13] |
| 15 | Simon Marlow | [16] |
| 16 | Andrew McCreight | [18] |
| 17 | J. Gregory Morrisett (Greg Morrisett) | [3] |
| 18 | Marius Nita | [14] |
| 19 | Thomas Nordin | [11] |
| 20 | Dino Oliva | [6] |
| 21 | Mark Shields | [8] |
| 22 | Eelco Visser | [9] |
Colors in the list of coauthors
Last update Fri May 25 01:42:58 2012 CET by the DBLP Team —
Data released under the ODC-BY 1.0 license — See also our legal information page