PERs from projections for binding-time analysis (1995)

by Kei Davis
Venue:Journal of Lisp and Symbolic Computation