Edit Profile (opens in new tab) Zerny, Ian Co-Author Distance Author ID: zerny.ian Published as: Zerny, Ian External Links: MGP Documents Indexed: 5 Publications since 2010 Co-Authors: 3 Co-Authors with 4 Joint Publications 38 Co-Co-Authors Co-Authors 1 single-authored 4 Danvy, Olivier 2 Millikin, Kevin 2 Munk, Johan Serials 1 Theoretical Computer Science 1 Higher-Order and Symbolic Computation 1 ACM Transactions on Computational Logic Fields 5 Computer science (68-XX) 1 Mathematical logic and foundations (03-XX) 1 Combinatorics (05-XX) Publications by Year all cited Publications top 5 cited Publications Citations contained in zbMATH Open 3 Publications have been cited 10 times in 9 Documents Cited by ▼ Year ▼ Defunctionalized interpreters for call-by-need evaluation. Zbl 1284.68129 Danvy, Olivier; Millikin, Kevin; Munk, Johan; Zerny, Ian 5 2010 On inter-deriving small-step and big-step semantics: a case study for storeless call-by-need evaluation. Zbl 1244.68026 Danvy, Olivier; Millikin, Kevin; Munk, Johan; Zerny, Ian 3 2012 Three syntactic theories for combinatory graph reduction. Zbl 1326.68090 Danvy, Olivier; Zerny, Ian 2 2011 On inter-deriving small-step and big-step semantics: a case study for storeless call-by-need evaluation. Zbl 1244.68026 Danvy, Olivier; Millikin, Kevin; Munk, Johan; Zerny, Ian 3 2012 Three syntactic theories for combinatory graph reduction. Zbl 1326.68090 Danvy, Olivier; Zerny, Ian 2 2011 Defunctionalized interpreters for call-by-need evaluation. Zbl 1284.68129 Danvy, Olivier; Millikin, Kevin; Munk, Johan; Zerny, Ian 5 2010 all cited Publications top 5 cited Publications all top 5 Cited by 15 Authors 3 Zerny, Ian 2 Biernacka, Małgorzata 2 Danvy, Olivier 2 Ghica, Dan R. 2 Saurin, Alexis 1 Ariola, Zena M. 1 Biernacki, Dariusz 1 Charatonik, Witold 1 Herbelin, Hugo 1 Lenglet, Sergueï 1 Materzok, Marek 1 Millikin, Kevin 1 Munk, Johan 1 Muroya, Koko 1 Pédrot, Pierre-Marie Cited in 3 Serials 1 Theoretical Computer Science 1 Higher-Order and Symbolic Computation 1 Logical Methods in Computer Science Cited in 2 Fields 9 Computer science (68-XX) 3 Mathematical logic and foundations (03-XX) Citations by Year