Yang Jun Greg Michaelson Philip W. Trinder Explaining Polymorphic Types. 436-452 2002 45 Comput. J. 4 http://www3.oup.co.uk/computer_journal/hdb/Volume_45/Issue_04/450436.sgm.abs.html db/journals/cj/cj45.html#JunMT02