John Greiner Weak Polymorphism can be Sound. 111-141 1996 6 J. Funct. Program. 1 db/journals/jfp/jfp6.html#Greiner96