Type theory and projections for static analysis (1995)

by Clement Baker-Finch
Venue:Journal of Lisp and Symbolic Computation