John Hannan - researchr alias

researchr

You are not signed in
Sign in
Sign up

Viewing Publication 1 - 25 from 25

2004

Energy-Efficient Scheduling Algorithms of Object Retrieval on Indexed Parallel Broadcast ChannelsBingjun Sun, Ali R. Hurson, John Hannan. icpp 2004: 440-447 [doi]

2003

Specification and correctness of lambda liftingAdam Fischbach, John Hannan. JFP, 13(3):509-543, 2003. [doi]

2002

On Extracting Static SemanticsJohn Hannan. BIRTHDAY 2002: 157-171 [doi]

2001

Type Systems for Useless-Variable EliminationAdam Fischbach, John Hannan. pado 2001: 25-38 [doi]

On Extracting Static SemanticsJohn Hannan. ENTCS, 45:162-173, 2001. [doi]

2000

Specification and Correctness of Lambda LiftingAdam Fischbach, John Hannan. saig 2000: 108-128 [doi]

Higher-Order UnCurryingJohn Hannan, Patrick Hicks. lisp, 13(3):179-216, 2000.

1998

Higher-Order Arity RaisingJohn Hannan, Patrick Hicks. ICFP 1998: 27-38 [doi]

Higher-Order unCurryingJohn Hannan, Patrick Hicks. POPL 1998: 1-11 [doi]

Program Analysis in Lambda-PrologJohn Hannan. plilp 1998: 353-354 [doi]

A Type-Based Escape Analysis for Functional LanguagesJohn Hannan. JFP, 8(3):239-273, 1998.

1995

A Type-based Analysis for Stack Allocation in Functional LanguagesJohn Hannan. SAS 1995: 172-188

1994

Operational Semantics-Directed Compilers and Machine ArchitecturesJohn Hannan. TOPLAS, 16(4):1215-1247, 1994. [doi]

1993

Extended Natural SemanticsJohn Hannan. JFP, 3(2):123-152, 1993.

Searching For SemanticsJohn Hannan. PEPM 1993: 1-12

1992

From Operational Semantics for Abstract MachinesJohn Hannan, Dale Miller. mscs, 2(4):415-459, 1992.

Compiler Verification in LFJohn Hannan, Frank Pfenning. lics 1992: 407-418

1991

Implementing lambda-Calculus Reduction Strategies in Extended Logic Programming LanguagesJohn Hannan. elp 1992: 193-219

Making Abstract Machines Less AbstractJohn Hannan. fpca 1991: 618-635

Staging Transformations for Abstract MachinesJohn Hannan. PEPM 1991: 130-141

1990

From Operational Semantics to Abstract Machines: Preliminary ResultsJohn Hannan, Dale Miller. lfp 1990: 323-332 [doi]

1989

Deriving Mixed Evaluation from Standard Evaluation for a Simple Functional LanguageJohn Hannan, Dale Miller. mpc 1989: 239-255

1988

Lambda-Prolog: An Extended Logic Programming LanguageAmy P. Felty, Elsa L. Gunter, John Hannan, Dale Miller, Gopalan Nadathur, Andre Scedrov. cade 1988: 754-755

A Meta-Logic for Functional ProgrammingJohn Hannan, Dale Miller. meta 1988: 453-476

Uses of Higher-Order Unification for Implementing Program TransformersJohn Hannan, Dale Miller. ICLP 1988: 942-959

Sign in or sign up to see more results.

runs on WebDSL