Yang Jun

Publication Activity (10 Years)

Years Active: 2000-2002
Publications (10 Years): 0

Heriot-Watt University, Edinburgh, UK (PHD)

Education History

Heriot-Watt University, Edinburgh, UK

PHD

Publications

Yang Jun, Greg Michaelson, Philip W. Trinder
Explaining Polymorphic Types. Comput. J. 45 (4) (2002)
Yang Jun, Greg Michaelson, Phil Trinder
Human and "human-like" type explanations. PPIG (2001)
Yang Jun, Greg Michaelson, Phil Trinder
How do people check polymorphic types? PPIG (2000)