 | 2004 |
|---|
| 25 |       | 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 | | Adam Fischbach,
John Hannan:
Specification and correctness of lambda lifting.
J. Funct. Program. 13(3): 509-543 (2003) |
| 2002 |
|---|
| 23 | | John Hannan:
On Extracting Static Semantics.
The Essence of Computation 2002: 157-171 |
| 2001 |
|---|
| 22 | | Adam Fischbach,
John Hannan:
Type Systems for Useless-Variable Elimination.
PADO 2001: 25-38 |
| 21 | | John Hannan:
On Extracting Static Semantics.
Electr. Notes Theor. Comput. Sci. 45: (2001) |
| 2000 |
|---|
| 20 | | 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 | | John Hannan,
Patrick Hicks:
Higher-Order Arity Raising.
ICFP 1998: 27-38 |
| 17 | | John Hannan:
Program Analysis in Lambda-Prolog.
PLILP/ALP 1998: 353-354 |
| 16 | | 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 | | 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 | | 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 |
