The SCEAS System
Navigation Menu

Search the dblp DataBase


Andrew P. Tolmach: [Publications] [Author Rank by year] [Co-authors] [Prefers] [Cites] [Cited by]

Publications of Author

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

Search in 0.003secs, Finished in 0.004secs
System may not be available sometimes or not working properly, since it is still in development with continuous upgrades
The rankings that are presented on this page should NOT be considered as formal since the citation info is incomplete in DBLP
System created by [] © 2002
for Data Engineering Laboratory, Department of Informatics, Aristotle University © 2002