Bruce J. McAdam

Publication Activity (10 Years)

Years Active: 1997-2019
Publications (10 Years): 1

Top Topics

Educational Technology

Top Venues

Int. J. Hum. Comput. Stud.

University of Edinburgh, UK (PHD)

Education History

University of Edinburgh, UK

PHD

Publications

Omair Z. Ameerbakhsh, Savi Maharaj, Amir Hussain, Bruce J. McAdam
A comparison of two methods of using a serious game for teaching marine ecology in a university setting. Int. J. Hum. Comput. Stud. 127 (2019)
Bruce J. McAdam
How to Repair Type Errors Automatically. Scottish Functional Programming Workshop (2001)
Bruce J. McAdam, Andrew Kennedy, Nick Benton
Type inference for MLj. Scottish Functional Programming Workshop (2000)
Bruce J. McAdam
Generalising Techniques for Type Debugging. Scottish Functional Programming Workshop (1999)
Bruce J. McAdam
On the Unification of Substitutions in Type Interfaces. IFL (1998)
Bruce J. McAdam
Type Errors Confuse the Programmer (Poster Abstract). ICFP (1998)
Bruce J. McAdam
BigTypes in ML. ICFP (1997)