BibSLEIGH
BibSLEIGH corpus
BibSLEIGH tags
BibSLEIGH bundles
BibSLEIGH people
EDIT!
CC-BY
Open Knowledge
XHTML 1.0 W3C Rec
CSS 2.1 W3C CanRec
email twitter
Travelled to:
1 × Canada
1 × Denmark
1 × France
1 × Italy
1 × United Kingdom
7 × USA
Collaborated with:
D.Miller P.Hicks A.Fischbach F.Pfenning A.P.Felty E.L.Gunter G.Nadathur A.Scedrov
Talks about:
abstract (4) program (3) machin (3) higher (3) order (3) transform (2) languag (2) analysi (2) semant (2) prolog (2)

Person: John Hannan

DBLP DBLP: Hannan:John

Contributed to:

SAIG 20002000
ALP/PLILP 19981998
ICFP 19981998
POPL 19981998
SAS 19951995
PEPM 19931993
LICS 19921992
FPCA 19911991
PEPM 19911991
LFP 19901990
CADE 19881988
ICLP/SPL 19881988

Wrote 12 papers:

SAIG-2000-FischbachH #correctness #specification
Specification and Correctness of λ Lifting (AF, JH), pp. 108–128.
ALP-PLILP-1998-Hannan #program analysis #prolog
Program Analysis in λ-Prolog (JH), pp. 353–354.
ICFP-1998-HannanH #higher-order
Higher-Order Arity Raising (JH, PH), pp. 27–38.
POPL-1998-HannanH #higher-order
Higher-Order unCurrying (JH, PH), pp. 1–11.
SAS-1995-Hannan #analysis #functional #stack #type system
A Type-based Analysis for Stack Allocation in Functional Languages (JH), pp. 172–188.
PEPM-1993-Hannan #semantics
Searching For Semantics (JH), pp. 1–12.
LICS-1992-PfenningH #compilation #verification
Compiler Verification in LF (JH, FP), pp. 407–418.
FPCA-1991-Hannan #automaton
Making Abstract Machines Less Abstract (JH), pp. 618–635.
PEPM-1991-Hannan #automaton #staging
Staging Transformations for Abstract Machines (JH), pp. 130–141.
LFP-1990-HannanM #automaton #semantics
From Operational Semantics to Abstract Machines: Preliminary Results (JH, DM), pp. 323–332.
CADE-1988-FeltyGHMNS #logic programming #named #programming language #prolog #λ-calculus
Lambda-Prolog: An Extended Logic Programming Language (APF, ELG, JH, DM, GN, AS), pp. 754–755.
JICSCP-1988-HannanM88 #higher-order #implementation #unification
Uses of Higher-Order Unification for Implementing Program Transformers (JH, DM), pp. 942–959.

Bibliography of Software Language Engineering in Generated Hypertext (BibSLEIGH) is created and maintained by Dr. Vadim Zaytsev.
Hosted as a part of SLEBOK on GitHub.