Colin Runciman Ian Toyn Retrieving Re-Usable Software Components by Polymorphic Type. 166-173 1989 FPCA http://doi.acm.org/10.1145/99370.99383 db/conf/fpca/fpca89.html#RuncimanT89