Type Systems and Algorithms for Useless-Variable Elimination, Adam Fischbach and John Hannan. Symposium on Programs as Data Objects, Aarhus, Denmark. May 2001.

Specification and Correctness of Lambda Lifting,
Adam Fischbach and John Hannan.
Workshop on Semantics, Applications and Implementation of
Program Generation, September 2000, Montreal.

Higher-Order Arity Raising, John Hannan and Patrick Hicks. Proceedings of 3rd ACM SIGPLAN International Conference on Functional Programming Baltimore, Maryland, September 1998, pp 27-38.

Program Analysis in Lambda Prolog (tutorial slides),
John Hannan.
Presented at PLILP '98. Pisa, Italy. September, 1998.

(Also available as compressed
DVI. Use the commands

dvips -x 1400 -O 0.25in,-0.75in plilp-tutorial psnup -r -n1 plilp-tutorial.ps | lprto reproduce the Postscript format.)

Higher-Order UnCurrying, John Hannan and Patrick Hicks. Proceedings of the 25th Annual ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, San Diego, January 1998, pp. 1-10. An extended version of this paper appears in Higher Order and Symbolic Computation, Vol 13, No. 3, 2000, pp 179-216.

A Lifetime Analysis for Higher-order Languages, John Hannan. Technical Report, September, 1997.

A Type-based Escape Analysis for Functional Languages,
John Hannan.
*Journal of Functional Programming*
September, 1997.

A Type-based Analysis for Stack Allocation in Functional Languages,
John Hannan.
*Proceedings of the Second International Static Analysis Symposium*,
September, 1995.

Type Systems for Closure Conversions,
John Hannan.
*Participants' Proceedings of the Workshop on Types for Program Analysis*,
May, 1995.

Extended Natural Semantics,
John Hannan. **Journal of Functional Programming**, Vol 3, No. 2 (1993),
123-152.

Operational Semantics Directed Machine Architectures,
John Hannan.
**ACM Transactions on Programming Languages and Systems**, July 1994.

Searching for Semantics,
John Hannan. *Proceedings of the ACM SIGPLAN Symposium on Partial
Evaluation and Semantics Based Program Manipulation*,
edited by D. Schmidt, ACM Press, June 1993, 1-12.

From Operational Semantics to Abstract Machines,
John Hannan and Dale Miller. **Journal of Mathematical Structures in Computer Science**,
Vol. 2, No. 4 (1992), 415-459. Earlier version of this paper
appeared in Lisp and Functional Programming, 1990.

Compiler Verification in LF,
John Hannan and Frank Pfenning.
*Proceedings of the Seventh Annual IEEE Symposium on Logic in Computer
Science*, edited by Andre Scedrov, IEEE Computer Society Press, 1992,
407-418.

Back to John Hannan's home page.