On the generation of specializers (1994)

by R Gluck
Venue:Journal of Functional Programming