dblp.uni-trier.dewww.uni-trier.de

Bruce J. McAdam

List of publications from the DBLP Bibliography Server - FAQ
Coauthor Index - Ask others: ACM DL/Guide - CiteSeer - CSB - Google - MSN - Yahoo

2001
6 Bruce J. McAdam: How to Repair Type Errors Automatically. Scottish Functional Programming Workshop 2001: 87-98
2000
5 Bruce J. McAdam, Andrew Kennedy, Nick Benton: Type inference for MLj. Scottish Functional Programming Workshop 2000: 159-172
1999
4 Bruce J. McAdam: Generalising Techniques for Type Debugging. Scottish Functional Programming Workshop 1999: 50-58
1998
3EEBruce J. McAdam: Type Errors Confuse the Programmer (Poster Abstract). ICFP 1998: 338
2EEBruce J. McAdam: On the Unification of Substitutions in Type Interfaces. IFL 1998: 137-152
1997
1 Bruce J. McAdam: BigTypes in ML. ICFP 1997: 316

Coauthor Index

1Nick Benton (P. N. Benton) [5]
2Andrew Kennedy [5]

Copyright © Sun May 17 03:24:02 2009 by Michael Ley (ley@uni-trier.de)