Travelled to:
1 × Austria
1 × Japan
1 × Spain
1 × The Netherlands
1 × USA
Collaborated with:
O.Danvy R.J.Simmons P.Thiemann J.Johannsen K.Millikin J.Munk
Talks about:
abstract (2) semant (2) evalu (2) need (2) call (2) combinatori (1) pettorossi (1) defunction (1) correspond (1) interpret (1)
Person: Ian Zerny
DBLP: Zerny:Ian
Contributed to:
Wrote 6 papers:
- IFL-2013-DanvyTZ #abstraction
- Circularity and λ Abstraction: From Bird to Pettorossi and back (OD, PT, IZ), p. 85.
- PPDP-2013-DanvyZ #call-by #evaluation
- A synthetic operational account of call-by-need evaluation (OD, IZ), pp. 97–108.
- PPDP-2013-SimmonsZ #automaton #logic #semantics
- A logical correspondence between natural semantics and abstract machines (RJS, IZ), pp. 109–119.
- PEPM-2011-DanvyJZ #semantics
- A walk in the semantic park (OD, JJ, IZ), pp. 1–12.
- FLOPS-2010-DanvyMMZ #call-by #evaluation
- Defunctionalized Interpreters for Call-by-Need Evaluation (OD, KM, JM, IZ), pp. 240–256.
- LOPSTR-2010-DanvyZ #combinator #graph #reduction
- Three Syntactic Theories for Combinatory Graph Reduction (OD, IZ), pp. 1–20.