QingMing Ma John C. Reynolds Types, Abstractions, and Parametric Polymorphism, Part 2. 1-40 1991 conf/mfps/1991 MFPS db/conf/mfps/mfps1991.html#MaR91 http://dx.doi.org/10.1007/3-540-55511-0_1