2004 |
25 | EE | Bingjun Sun,
Ali R. Hurson,
John Hannan:
Energy-Efficient Scheduling Algorithms of Object Retrieval on Indexed Parallel Broadcast Channels.
ICPP 2004: 440-447 |
2003 |
24 | EE | Adam Fischbach,
John Hannan:
Specification and correctness of lambda lifting.
J. Funct. Program. 13(3): 509-543 (2003) |
2002 |
23 | EE | John Hannan:
On Extracting Static Semantics.
The Essence of Computation 2002: 157-171 |
2001 |
22 | EE | Adam Fischbach,
John Hannan:
Type Systems for Useless-Variable Elimination.
PADO 2001: 25-38 |
21 | EE | John Hannan:
On Extracting Static Semantics.
Electr. Notes Theor. Comput. Sci. 45: (2001) |
2000 |
20 | EE | Adam Fischbach,
John Hannan:
Specification and Correctness of Lambda Lifting.
SAIG 2000: 108-128 |
19 | | John Hannan,
Patrick Hicks:
Higher-Order UnCurrying.
Higher-Order and Symbolic Computation 13(3): 179-216 (2000) |
1998 |
18 | EE | John Hannan,
Patrick Hicks:
Higher-Order Arity Raising.
ICFP 1998: 27-38 |
17 | EE | John Hannan:
Program Analysis in Lambda-Prolog.
PLILP/ALP 1998: 353-354 |
16 | EE | John Hannan,
Patrick Hicks:
Higher-Order unCurrying.
POPL 1998: 1-11 |
15 | | John Hannan:
A Type-Based Escape Analysis for Functional Languages.
J. Funct. Program. 8(3): 239-273 (1998) |
1995 |
14 | | John Hannan:
A Type-based Analysis for Stack Allocation in Functional Languages
SAS 1995: 172-188 |
1994 |
13 | EE | John Hannan:
Operational Semantics-Directed Compilers and Machine Architectures.
ACM Trans. Program. Lang. Syst. 16(4): 1215-1247 (1994) |
1993 |
12 | | John Hannan:
Searching For Semantics.
PEPM 1993: 1-12 |
11 | | John Hannan:
Extended Natural Semantics.
J. Funct. Program. 3(2): 123-152 (1993) |
1992 |
10 | | John Hannan,
Frank Pfenning:
Compiler Verification in LF
LICS 1992: 407-418 |
9 | | John Hannan,
Dale Miller:
From Operational Semantics for Abstract Machines.
Mathematical Structures in Computer Science 2(4): 415-459 (1992) |
1991 |
8 | | John Hannan:
Implementing lambda-Calculus Reduction Strategies in Extended Logic Programming Languages.
ELP 1991: 193-219 |
7 | | John Hannan:
Making Abstract Machines Less Abstract.
FPCA 1991: 618-635 |
6 | | John Hannan:
Staging Transformations for Abstract Machines.
PEPM 1991: 130-141 |
1990 |
5 | EE | John Hannan,
Dale Miller:
From Operational Semantics to Abstract Machines: Preliminary Results.
LISP and Functional Programming 1990: 323-332 |
1989 |
4 | | John Hannan,
Dale Miller:
Deriving Mixed Evaluation from Standard Evaluation for a Simple Functional Language.
MPC 1989: 239-255 |
1988 |
3 | | Amy P. Felty,
Elsa L. Gunter,
John Hannan,
Dale Miller,
Gopalan Nadathur,
Andre Scedrov:
Lambda-Prolog: An Extended Logic Programming Language.
CADE 1988: 754-755 |
2 | | John Hannan,
Dale Miller:
Uses of Higher-Order Unification for Implementing Program Transformers.
ICLP/SLP 1988: 942-959 |
1 | | John Hannan,
Dale Miller:
A Meta-Logic for Functional Programming.
META 1988: 453-476 |