@inproceedings{baker-finch:typho,
author="Clement A. Baker-Finch",
title="Type Theory and Projections for Higher-Order Static Analysis",
booktitle="{ACM} Workshop on Partial Evaluation and Semantics-Based Program Manipulation (PEPM'94), Orlando",
year=1994,
pages="43--52"}