On the generation of specialisers (1994)

by R Gluck
Venue:Journal of Functional Programming