John Hannan

List of publications from the DBLP Bibliography Server - FAQ
Other views: by type - by year (modern) - classic-C

Ask others: ACM DL/Guide -

- CSB - MetaPress - Google - Bing - Yahoo

	2004
c18		Bingjun Sun, Ali R. Hurson, John Hannan: Energy-Efficient Scheduling Algorithms of Object Retrieval on Indexed Parallel Broadcast Channels. ICPP 2004: 440-447
	2003
j7		Adam Fischbach, John Hannan: Specification and correctness of lambda lifting. J. Funct. Program. 13(3): 509-543 (2003)
	2002
c17		John Hannan: On Extracting Static Semantics. The Essence of Computation 2002: 157-171
	2001
j6		John Hannan: On Extracting Static Semantics. Electr. Notes Theor. Comput. Sci. 45: 162-173 (2001)
c16		Adam Fischbach, John Hannan: Type Systems for Useless-Variable Elimination. PADO 2001: 25-38
	2000
j5		John Hannan, Patrick Hicks: Higher-Order UnCurrying. Higher-Order and Symbolic Computation 13(3): 179-216 (2000)
c15		Adam Fischbach, John Hannan: Specification and Correctness of Lambda Lifting. SAIG 2000: 108-128
	1998
j4		John Hannan: A Type-Based Escape Analysis for Functional Languages. J. Funct. Program. 8(3): 239-273 (1998)
c14		John Hannan, Patrick Hicks: Higher-Order Arity Raising. ICFP 1998: 27-38
c13		John Hannan: Program Analysis in Lambda-Prolog. PLILP/ALP 1998: 353-354
c12		John Hannan, Patrick Hicks: Higher-Order unCurrying. POPL 1998: 1-11
	1995
c11		John Hannan: A Type-based Analysis for Stack Allocation in Functional Languages. SAS 1995: 172-188
	1994
j3		John Hannan: Operational Semantics-Directed Compilers and Machine Architectures. ACM Trans. Program. Lang. Syst. 16(4): 1215-1247 (1994)
	1993
j2		John Hannan: Extended Natural Semantics. J. Funct. Program. 3(2): 123-152 (1993)
c10		John Hannan: Searching For Semantics. PEPM 1993: 1-12
	1992
j1		John Hannan, Dale Miller: From Operational Semantics for Abstract Machines. Mathematical Structures in Computer Science 2(4): 415-459 (1992)
c9		John Hannan, Frank Pfenning: Compiler Verification in LF. LICS 1992: 407-418
	1991
c8		John Hannan: Implementing lambda-Calculus Reduction Strategies in Extended Logic Programming Languages. ELP 1991: 193-219
c7		John Hannan: Making Abstract Machines Less Abstract. FPCA 1991: 618-635
c6		John Hannan: Staging Transformations for Abstract Machines. PEPM 1991: 130-141
	1990
c5		John Hannan, Dale Miller: From Operational Semantics to Abstract Machines: Preliminary Results. LISP and Functional Programming 1990: 323-332
	1989
c4		John Hannan, Dale Miller: Deriving Mixed Evaluation from Standard Evaluation for a Simple Functional Language. MPC 1989: 239-255
	1988
c3		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
c2		John Hannan, Dale Miller: Uses of Higher-Order Unification for Implementing Program Transformers. ICLP/SLP 1988: 942-959
c1		John Hannan, Dale Miller: A Meta-Logic for Functional Programming. META 1988: 453-476

Coauthor Index

1	Amy P. Felty	[c3]
2	Adam Fischbach	[j7] [c16] [c15]
3	Elsa L. Gunter	[c3]
4	Patrick Hicks	[j5] [c14] [c12]
5	Ali R. Hurson (A. R. Hurson)	[c18]
6	Dale Miller	[j1] [c5] [c4] [c3] [c2] [c1]
7	Gopalan Nadathur	[c3]
8	Frank Pfenning	[c9]
9	Andre Scedrov	[c3]
10	Bingjun Sun	[c18]

Colors in the list of coauthors

Last update Tue May 21 20:06:44 2013 CET by the DBLP Team —

Data released under the ODC-BY 1.0 license — See also our legal information page