BibSLEIGH corpus
BibSLEIGH tags
BibSLEIGH bundles
BibSLEIGH people
Open Knowledge
XHTML 1.0 W3C Rec
CSS 2.1 W3C CanRec
email twitter
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 DBLP: Tolmach:Andrew_P=

Facilitated 1 volumes:

ICFP 2009Ed

Contributed to:

ESOP 20152015
Onward! 20142014
ICFP 20102010
ICFP 20052005
ICFP 20042004
IFL 20042004
FLOPS 19991999
ICFP 19981998
POPL 19981998
LFP 19941994
PPoPP 19931993
LFP 19901990
Haskell 20072007
ECOOP 20162016
PEPM 20162016

Wrote 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.
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.

Bibliography of Software Language Engineering in Generated Hypertext (BibSLEIGH) is created and maintained by Dr. Vadim Zaytsev.
Hosted as a part of SLEBOK on GitHub.