Andrew P. Tolmach Home Page Coauthor index DBLP Vis pubzone.org

List of publications from the DBLP Bibliography Server - FAQ
Ask others: ACM DL/Guide - CiteSeerX - CSB - MetaPress - Google - Bing - Yahoo

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

Coauthor Index

1Sergio Antoy [10] [12] [13] [14]
2Andrew W. Appel [1] [2] [5]
3Zine-El-Abidine Benaissa [9]
4Thomas Hallgren [15]
5Michael Hanus [13]
6Graham Hutton [17]
7Mark P. Jones [15]
8Simon L. Peyton Jones [8] [16]
9John Launchbury [8]
10Rebekah Leslie [15]
11Peng Li [16]
12Jimeng Liu [13]
13Simon Marlow [16]
14J. Gregory Morrisett (Greg Morrisett) [3]
15Marius Nita [14]
16Thomas Nordin [11]
17Dino Oliva [6]
18Mark Shields [8]
19Eelco Visser [9]

Colors in the list of coauthors

Copyright © Wed Nov 25 14:46:41 2009 by Michael Ley (ley@uni-trier.de)