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 × 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 DBLP: Zerny:Ian

Contributed to:

IFL 20132013
PPDP 20132013
PEPM 20112011
FLOPS 20102010
LOPSTR 20102010

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.

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.