Robert Harper J. Gregory Morrisett Compiling Polymorphism Using Intensional Type Analysis. 130-141 1995 conf/popl/1995 POPL db/conf/popl/popl95.html#HarperM95 http://doi.acm.org/10.1145/199448.199475