BibSLEIGH corpus
BibSLEIGH tags
BibSLEIGH bundles
BibSLEIGH people
Open Knowledge
XHTML 1.0 W3C Rec
CSS 2.1 W3C CanRec
email twitter
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 DBLP: McAdam:Bruce_J=

Contributed to:

ICFP 19981998
IFL 19981998
ICFP 19971997

Wrote 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.

Bibliography of Software Language Engineering in Generated Hypertext (BibSLEIGH) is created and maintained by Dr. Vadim Zaytsev.
Hosted as a part of SLEBOK on GitHub.