Ian Zerny

From MaRDI portal
Person:428885

Available identifiers

zbMath Open zerny.ianMaRDI QIDQ428885

List of research outcomes





PublicationDate of PublicationType
On graph rewriting, reduction, and evaluation in the presence of cycles2017-05-15Paper
Three syntactic theories for combinatory graph reduction2015-09-17Paper
On inter-deriving small-step and big-step semantics: a case study for storeless call-by-need evaluation2012-06-25Paper
Three Syntactic Theories for Combinatory Graph Reduction2011-05-27Paper
Defunctionalized Interpreters for Call-by-Need Evaluation2010-05-04Paper

Research outcomes over time

This page was built for person: Ian Zerny

Retrieved from "https://portal.mardi4nfdi.de/w/index.php?title=Person:428885&oldid=7533241"
Powered by MediaWiki