Kevin Millikin

From MaRDI portal
Person:428883

Available identifiers

zbMath Open millikin.kevinMaRDI QIDQ428883

List of research outcomes





PublicationDate of PublicationType
On inter-deriving small-step and big-step semantics: a case study for storeless call-by-need evaluation2012-06-25Paper
Defunctionalized Interpreters for Call-by-Need Evaluation2010-05-04Paper
On the equivalence between small-step and big-step abstract machines: a simple application of lightweight fusion2010-04-19Paper
Refunctionalization at work2009-07-24Paper
A Rational Deconstruction of Landin's SECD Machine with the J Operator2009-04-29Paper
A Rational Deconstruction of Landin’s J Operator2009-04-28Paper
On one-pass CPS transformations2007-11-22Paper

Research outcomes over time

This page was built for person: Kevin Millikin

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