- Pennsylvania http://www.cse.psu.edu/
- 30 \Delta John Hannan 1. Bondorf, A. Automatic autoprojection of higher order recursive equations. In ESOP '90. 3rd
- Type Systems for UselessVariable Elimination ? Adam Fischbach and John Hannan
- February 2, 1993 --08 : 09 DRAFT 18 [17] Frank Pfenning. Logic programming in the LF logical framework. In G. Huet and G. Plotkin,
- have an intuitive interpretationwhich can formally be verified. This interpretationallows us to construct an operational semantics and abstract machine for the annotated language.
- The Elf programming language provides an operational semantics for LF. This semantics arises from a computational interpretation of types, similar in
- HigherOrder UnCurrying John Hannan and Patrick Hicks
- HigherOrder Arity Raising John Hannan Patrick Hicks \Lambda
- Extended Natural Semantic 29 Miller, D. and Nadathur, G. 1987. A logic programming approach to manipulating formu
- [21] F. Pfenning. Logic programming in the LF logical framework. In G. Huet and G. Plotkin, editors, Log
- Specification and Correctness of Lambda Lifting Adam Fischbach John Hannan
- Program Analysis in ~Prolog John Hannan
- J. Functional Programming 1 (1): 1--000, January 1993 c fl 1993 Cambridge University Press 1
- J. Hannan and D. Miller 46 [Lan64] Peter J. Landin. The mechanical evaluation of expressions. Computer Journal, 6(5):308--
- A Lifetime Analysis for HigherOrder Languages John Hannan and Patrick Hicks
- Electronic Notes in Theoretical Computer Science 45 (2001) URL: http://www.elsevier.nl/locate/entcs/volume45.html 12 pages
