Harry G. Mairson Quantifier Elimination and Parametric Polymorphism in Programming Languages. 213-226 1992 2 J. Funct. Program. 2 db/journals/jfp/jfp2.html#Mairson92