Quantifier Elimination and Parametric Polymorphism in Programming Languages (1992)

View PDF

Download Links

by Harry G. Mairson
Venue:J. Functional Programming
Citations:5 - 2 self