John Hannan

From MaRDI portal
Person:586051

Available identifiers

zbMath Open hannan.johnMaRDI QIDQ586051

List of research outcomes





PublicationDate of PublicationType
Higher-order arity raising2019-09-26Paper
Higher-order arity raising2017-08-21Paper
On extracting static semantics2013-04-26Paper
https://portal.mardi4nfdi.de/entity/Q44725412004-08-04Paper
https://portal.mardi4nfdi.de/entity/Q44147292003-07-27Paper
Specification and correctness of lambda lifting This material is based upon work supported by the National Science Foundation under Grant No. 9900918.2003-01-01Paper
https://portal.mardi4nfdi.de/entity/Q45297712002-05-06Paper
Higher-order unCurrying2001-03-12Paper
A type-based escape analysis for functional languages1999-03-28Paper
From operational semantics to abstract machines1994-10-31Paper

Research outcomes over time

This page was built for person: John Hannan

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