John Hannan
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
10
Venues
9
Active years
1988–2004
Best venue rank
A*
Where they publish
Papers
10 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2004 | ICPP | Energy-Efficient Scheduling Algorithms of Object Retrieval on Indexed Parallel Broadcast Channels. | Bingjun Sun, Ali R. Hurson, John Hannan |
| 1998 | ICFP | Higher-Order Arity Raising. | John Hannan, Patrick Hicks |
| 1998 | POPL | Higher-Order unCurrying. | John Hannan, Patrick Hicks |
| 1995 | SAS | A Type-based Analysis for Stack Allocation in Functional Languages | John Hannan |
| 1993 | PEPM | Searching For Semantics. | John Hannan |
| 1992 | LICS | Compiler Verification in LF | John Hannan, Frank Pfenning |
| 1991 | PEPM | Staging Transformations for Abstract Machines. | John Hannan |
| 1989 | MPC | Deriving Mixed Evaluation from Standard Evaluation for a Simple Functional Language. | John Hannan, Dale Miller |
| 1988 | CADE | Lambda-Prolog: An Extended Logic Programming Language. | Amy P. Felty, Elsa L. Gunter, John Hannan, Dale Miller, Gopalan Nadathur, Andre Scedrov |
| 1988 | ICLP | Uses of Higher-Order Unification for Implementing Program Transformers. | John Hannan, Dale Miller |