Quantifier Elimination and Parametric Polymorphism in Programming Languages (1992)

by H Mairson
Venue:In Journal of Functional Programming