Type Theory and Projections for Static Analysis
Clem Baker-Finch. In Journal of Lisp and Symbolic Computation 8, 3, October 1995, pages 267-285.
A system of annotated types is proposed as a means of
describing and inferring static information, such as strictness and
constancy, about functional programs. An abstract semantics is given
in terms of projections. A close connection between
annotated type assignment and projection analysis is demonstrated.
BibTeX, PostScript, gzipped PostScript