How do people check polymorphic types? - Yang Jun 001; Greg Michaelson; Phil Trinder (PPIG, 2000)

Human and "human-like" type explanations. - Yang Jun 001; Greg Michaelson; Phil Trinder (PPIG, 2001)

Improving polymorphic type explanations. - Yang Jun 001 (2001)

Explaining Polymorphic Types. - Yang Jun 001; Greg Michaelson; Philip W. Trinder (Comput. J., 2002)