Yang Jung Greg Michaelson A visualisation of polymorphic type checking. 57-75 2000 10 J. Funct. Program. 1 db/journals/jfp/jfp10.html#JungM00