Andrew P. Tolmach - researchr alias

researchr

You are not signed in
Sign in
Sign up

Viewing Publication 1 - 25 from 25

2016

2015

A Theory of Name ResolutionPierre Néron, Andrew P. Tolmach, Eelco Visser, Guido Wachsmuth. ESOP 2015: 205-231 [doi]

A Constraint Language for Static Semantic Analysis based on Scope Graphs with ProofsHendrik van Antwerpen, Pierre Néron, Andrew P. Tolmach, Eelco Visser, Guido Wachsmuth. Technical Report TUD-SERG-2015-009, 2015.

Language-Independent Type-Dependent Name ResolutionHendrik van Antwerpen, Pierre Néron, Andrew P. Tolmach, Eelco Visser, Guido Wachsmuth. Technical Report TUD-SERG-2015-006, 2015.

2014

A Language Designer's Workbench: A One-Stop-Shop for Implementation and Verification of Language DesignsEelco Visser, Guido Wachsmuth, Andrew P. Tolmach, Pierre Néron, Vlad A. Vergu, Augusto Passalaqua, Gabriël Konat. OOPSLA 2014: 95-111 [doi]

2011

Special Issue Dedicated to ICFP 2009 EditorialAndrew P. Tolmach, Xavier Leroy. JFP, 21(4-5):331-332, 2011. [doi]

2010

A certified framework for compiling and executing garbage-collected languagesAndrew McCreight, Tim Chevalier, Andrew P. Tolmach. ICFP 2010: 273-284 [doi]

2007

Lightweight concurrency primitives for GHCPeng Li, Simon Marlow, Simon L. Peyton Jones, Andrew P. Tolmach. haskell 2007: 107-118 [doi]

2005

A principled approach to operating system construction in HaskellThomas Hallgren, Mark P. Jones, Rebekah Leslie, Andrew P. Tolmach. ICFP 2005: 116-128 [doi]

2004

A Virtual Machine for Functional Logic ComputationsSergio Antoy, Michael Hanus, Jimeng Liu, Andrew P. Tolmach. IFL 2005: 108-125 [doi]

Implementing functional logic languages using multiple threads and storesAndrew P. Tolmach, Sergio Antoy, Marius Nita. ICFP 2004: 90-102 [doi]

2003

A monadic semantics for core CurryAndrew P. Tolmach, Sergio Antoy. ENTCS, 86(3):16-34, 2003. [doi]

2001

Modular lazy search for Constraint Satisfaction ProblemsThomas Nordin, Andrew P. Tolmach. JFP, 11(5):557-587, 2001.

1999

Typed Higher-Order Narrowing without Higher-Order StrategiesSergio Antoy, Andrew P. Tolmach. FLOPS 1999: 335-353

1998

1995

A Debugger for Standard MLAndrew P. Tolmach, Andrew W. Appel. JFP, 5(2):155-200, 1995.

1994

Tag-Free Garbage Collection Using Explicit Type ParametersAndrew P. Tolmach. lfp 1994: 1-11 [doi]

1993

Procs and Locks: A Portable Multiprocessing Platform for Standard ML of New JerseyJ. Gregory Morrisett, Andrew P. Tolmach. ppopp 1993: 198-207

1991

Debuggable Concurrency Extensions for Standard MLAndrew P. Tolmach, Andrew W. Appel. pdd 1991: 120-131

1990

Debugging Standard ML Without Reverse EngineeringAndrew P. Tolmach, Andrew W. Appel. lfp 1990: 1-12 [doi]

Sign in or sign up to see more results.

runs on WebDSL