John Hannan

List of research outcomes

This list is not complete and representing at the moment only items from zbMATH Open and arXiv. We are working on additional sources - please check back here soon!

Publication	Date of Publication	Type
Higher-order arity raising Proceedings of the third ACM SIGPLAN international conference on Functional programming	2019-09-26	Paper
Higher-order arity raising Proceedings of the third ACM SIGPLAN international conference on Functional programming	2017-08-21	Paper
On extracting static semantics Electronic Notes in Theoretical Computer Science	2013-04-26	Paper
scientific article; zbMATH DE number 2080287 (Why is no real title available?)	2004-08-04	Paper
scientific article; zbMATH DE number 1953277 (Why is no real title available?)	2003-07-27	Paper
Specification and correctness of lambda lifting This material is based upon work supported by the National Science Foundation under Grant No. 9900918. Journal of Functional Programming	2003-01-01	Paper
scientific article; zbMATH DE number 1738289 (Why is no real title available?)	2002-05-06	Paper
Higher-order unCurrying Higher-Order and Symbolic Computation	2001-03-12	Paper
A type-based escape analysis for functional languages Journal of Functional Programming	1999-03-28	Paper
From operational semantics to abstract machines Mathematical Structures in Computer Science	1994-10-31	Paper

Research outcomes over time

This page was built for person: John Hannan