Andrew P. Tolmach

	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

Coauthor Index

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