Ian Zerny
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
5
Venues
4
Active years
2010–2013
Best venue rank
C
Where they publish
Papers
5 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2013 | PPDP | A synthetic operational account of call-by-need evaluation. | Olivier Danvy, Ian Zerny |
| 2013 | PPDP | A logical correspondence between natural semantics and abstract machines. | Robert J. Simmons, Ian Zerny |
| 2011 | PEPM | A walk in the semantic park. | Olivier Danvy, Jacob Johannsen, Ian Zerny |
| 2010 | FLOPS | Defunctionalized Interpreters for Call-by-Need Evaluation. | Olivier Danvy, Kevin Millikin, Johan Munk, Ian Zerny |
| 2010 | LOPSTR | Three Syntactic Theories for Combinatory Graph Reduction. | Olivier Danvy, Ian Zerny |