Mads Sig Ager

From MaRDI portal
Person:2390255

Available identifiers

zbMath Open ager.mads-sigMaRDI QIDQ2390255

List of research outcomes





PublicationDate of PublicationType
A functional correspondence between call-by-need evaluators and lazy abstract machines2009-07-21Paper
From Natural Semantics to Abstract Machines2008-04-24Paper
A functional correspondence between monadic evaluators and abstract machines for languages with computational effects2005-09-22Paper
https://portal.mardi4nfdi.de/entity/Q44147352003-07-27Paper

Research outcomes over time

This page was built for person: Mads Sig Ager

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