Biblio

Found 2 results
Filters: Author is Greg Michaelson  [Clear All Filters]
2001
J. Yang, Michaelson, G., and Trinder, P., Human and "human-like" type explanations, presented at the 04/2001, PPIG 2001 - 13th Annual Workshop, 2001.
2000
Y. Jun, Michaelson, G., and Trinder, P., How do people check polymorphic types?, presented at the 04/2000, PPIG 2000 - 12th Annual Workshop, 2000.