Travelled to:1 × USA
Collaborated with:E.Visser V.A.Vergu C.B.Poulsen Arjen Rouvoet R.Krebbers A.A.d.Amorim N.Collins A.DeHon D.Demange C.Hritcu D.Pichardie B.C.Pierce R.Pollack
Talks about:interpret (2) architectur (1) special (1) languag (1) intrins (1) definit (1) verifi (1) inform (1) improv (1) scope (1)
Person: Andrew Tolmach
DBLP: Tolmach:Andrew
Contributed to:
2014
20192018Wrote 3 papers:
- POPL-2014-AmorimCDDHPPPT #architecture #data flow
- A verified information-flow architecture (AAdA, NC, AD, DD, CH, DP, BCP, RP, AT), pp. 165–178.
- ECOOP-2019-VerguTV
- Scopes and Frames Improve Meta-Interpreter Specialization (VAV, AT, EV), p. 30.
- POPL-2018-PoulsenRTKV #imperative
- Intrinsically-typed definitional interpreters for imperative languages (CBP, AR, AT, RK, EV), p. 34.