Y. Jun, Michaelson, G., and Trinder, P.,
“How do people check polymorphic types?”, presented at the 04/2000, PPIG 2000 - 12th Annual Workshop, 2000.
J. Yang, Michaelson, G., and Trinder, P.,
“Human and "human-like" type explanations”, presented at the 04/2001, PPIG 2001 - 13th Annual Workshop, 2001.