John Hannan - RankMe

25 papers A* 2A 2B 4C 2Journal 6Unranked 9

Year	Rank	Type	Title / Venue / Authors
2004	B	`conf`	Energy-Efficient Scheduling Algorithms of Object Retrieval on Indexed Parallel Broadcast Channels. ICPP Bingjun Sun, Ali R. Hurson, John Hannan
2003	J	`jnl`	Specification and correctness of lambda lifting. J. Funct. Program. Adam Fischbach, John Hannan
2002	—	`conf`	On Extracting Static Semantics. The Essence of Computation John Hannan
2001	B	`conf`	On Extracting Static Semantics. MFPS John Hannan
2001	—	`conf`	Type Systems for Useless-Variable Elimination. PADO Adam Fischbach, John Hannan
2000	J	`jnl`	Higher-Order UnCurrying. High. Order Symb. Comput. John Hannan, Patrick Hicks
2000	—	`conf`	Specification and Correctness of Lambda Lifting. SAIG Adam Fischbach, John Hannan
1998	J	`jnl`	A Type-Based Escape Analysis for Functional Languages. J. Funct. Program. John Hannan
1998	A	`conf`	Higher-Order Arity Raising. ICFP John Hannan, Patrick Hicks
1998	A*	`conf`	Higher-Order unCurrying. POPL John Hannan, Patrick Hicks
1998	—	`conf`	Program Analysis in Lambda-Prolog. PLILP/ALP John Hannan
1995	B	`conf`	A Type-based Analysis for Stack Allocation in Functional Languages SAS John Hannan
1994	J	`jnl`	Operational Semantics-Directed Compilers and Machine Architectures. ACM Trans. Program. Lang. Syst. John Hannan
1993	J	`jnl`	Extended Natural Semantics. J. Funct. Program. John Hannan
1993	C	`conf`	Searching For Semantics. PEPM John Hannan
1992	A*	`conf`	Compiler Verification in LF LICS John Hannan, Frank Pfenning
1992	J	`jnl`	From Operational Semantics for Abstract Machines. Math. Struct. Comput. Sci. John Hannan, Dale Miller
1991	—	`conf`	Implementing lambda-Calculus Reduction Strategies in Extended Logic Programming Languages. ELP John Hannan
1991	—	`conf`	Making Abstract Machines Less Abstract. FPCA John Hannan
1991	C	`conf`	Staging Transformations for Abstract Machines. PEPM John Hannan
1990	—	`conf`	From Operational Semantics to Abstract Machines: Preliminary Results. LISP and Functional Programming John Hannan, Dale Miller
1989	B	`conf`	Deriving Mixed Evaluation from Standard Evaluation for a Simple Functional Language. MPC John Hannan, Dale Miller
1988	—	`conf`	A Meta-Logic for Functional Programming. META John Hannan, Dale Miller
1988	A	`conf`	Lambda-Prolog: An Extended Logic Programming Language. CADE Amy P. Felty, Elsa L. Gunter, John Hannan, Dale Miller, Gopalan Nadathur, Andre Scedrov
1988	—	`conf`	Uses of Higher-Order Unification for Implementing Program Transformers. ICLP/SLP John Hannan, Dale Miller