Travelled to:1 × Estonia
1 × France
1 × Germany
1 × Japan
1 × United Kingdom
7 × USA
Collaborated with:E.Visser S.Antoy P.Neron G.Wachsmuth S.L.P.Jones ∅ J.G.Morrisett A.W.Appel A.McCreight T.Chevalier M.Nita Z.Benaissa T.Hallgren M.P.Jones R.Leslie M.Hanus J.Liu M.Shields J.Launchbury P.Li S.Marlow C.B.Poulsen Pierre Néron Hendrik van Antwerpen V.A.Vergu A.Passalaqua G.Konat
Talks about:languag (6) ml (3) implement (2) strategi (2) standard (2) function (2) without (2) collect (2) semant (2) higher (2)
Person: Andrew P. Tolmach
DBLP: Tolmach:Andrew_P=
Facilitated 1 volumes:
EdContributed to:
2015
2014201020052004
2004
19991998
1998
1994
19931990
2007
2016
2016Wrote 15 papers:
- ESOP-2015-NeronTVW #formal method
- A Theory of Name Resolution (PN, APT, EV, GW), pp. 205–231.
- Onward-2014-VisserWTNVPK #design #implementation #verification
- A Language Designer’s Workbench: A One-Stop-Shop for Implementation and Verification of Language Designs (EV, GW, APT, PN, VAV, AP, GK), pp. 95–111.
- ICFP-2010-McCreightCT #compilation #framework #garbage collection
- A certified framework for compiling and executing garbage-collected languages (AM, TC, APT), pp. 273–284.
- ICFP-2005-HallgrenJLT #approach #haskell #operating system
- A principled approach to operating system construction in Haskell (TH, MPJ, RL, APT), pp. 116–128.
- ICFP-2004-TolmachAN #functional #implementation #logic #multi #thread #using
- Implementing functional logic languages using multiple threads and stores (APT, SA, MN), pp. 90–102.
- IFL-2004-AntoyHLT #functional #logic #virtual machine
- A Virtual Machine for Functional Logic Computations (SA, MH, JL, APT), pp. 108–125.
- FLOPS-1999-AntoyT #higher-order
- Typed Higher-Order Narrowing without Higher-Order Strategies (SA, APT), pp. 335–353.
- ICFP-1998-VisserBT
- Building Program Optimizers with Rewriting Strategies (EV, ZEAB, APT), pp. 13–26.
- POPL-1998-JonesSLT #haskell #ml
- Bridging the Gulf: A Common Intermediate Language for ML and Haskell (SLPJ, MS, JL, APT), pp. 49–61.
- LFP-1994-Tolmach #garbage collection #parametricity #using
- Tag-Free Garbage Collection Using Explicit Type Parameters (APT), pp. 1–11.
- PPoPP-1993-MorrisettT #framework #ml #multi #platform #standard
- Procs and Locks: A Portable Multiprocessing Platform for Standard ML of New Jersey (JGM, APT), pp. 198–207.
- LFP-1990-TolmachA #debugging #ml #reverse engineering #standard
- Debugging Standard ML Without Reverse Engineering (APT, AWA), pp. 1–12.
- Haskell-2007-LiMJT #concurrent #haskell #lightweight
- Lightweight concurrency primitives for GHC (PL, SM, SLPJ, APT), pp. 107–118.
- ECOOP-2016-PoulsenNTV #layout #memory management #semantics
- Scopes Describe Frames: A Uniform Model for Memory Layout in Dynamic Semantics (CBP, PN, APT, EV), p. 26.
- PEPM-2016-AntwerpenNTVW #analysis #constraints #graph #semantics
- A constraint language for static semantic analysis based on scope graphs (HvA, PN, APT, EV, GW), pp. 49–60.