Travelled to:1 × The Netherlands
1 × USA
1 × United Kingdom
Collaborated with:∅
Talks about:type (3) substitut (1) programm (1) interfac (1) abstract (1) poster (1) confus (1) error (1) unif (1) big (1)
Person: Bruce J. McAdam
DBLP: McAdam:Bruce_J=
Contributed to:
1998
19981997Wrote 3 papers:
- ICFP-1998-McAdam #fault
- Type Errors Confuse the Programmer (Poster Abstract) (BJM), p. 338.
- IFL-1998-McAdam #interface #on the #unification
- On the Unification of Substitutions in Type Interfaces (BJM), pp. 137–152.
- ICFP-1997-McAdam #ml
- BigTypes in ML (BJM), p. 316.