John Hannan

Available identifiers

zbMath Open hannan.johnMaRDI QIDQ586051

List of research outcomes

Publication	Date of Publication	Type
Higher-order arity raising	2019-09-26	Paper
Higher-order arity raising	2017-08-21	Paper
On Extracting Static Semantics	2013-04-26	Paper
https://portal.mardi4nfdi.de/entity/Q4472541	2004-08-04	Paper
https://portal.mardi4nfdi.de/entity/Q4414729	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.	2003-01-01	Paper
https://portal.mardi4nfdi.de/entity/Q4529771	2002-05-06	Paper
Higher-order unCurrying	2001-03-12	Paper
A type-based escape analysis for functional languages	1999-03-28	Paper
From operational semantics to abstract machines	1994-10-31	Paper

Research outcomes over time

Doctoral students

No records found.

Known relations from the MaRDI Knowledge Graph

Property	Value
MaRDI profile type	MaRDI person profile
instance of	human

This page was built for person: John Hannan