Matching/Kim Bruce research pointers

Allen Wirfs-Brock Allen.Wirfs-Brock at
Fri Sep 26 13:45:27 PDT 2008

At the TC-39 meeting I suggested that Kim Bruce's research in object-oriented typing is something that some people might want to look at as they think about the role of type annotations in Harmony. Here are some pointers to Bruce's work:

His book is probably the comprehensive source:
His papers are the here:
In particular see: and
But some of the other are also interesting

-------------- next part --------------
An HTML attachment was scrubbed...

More information about the Es-discuss mailing list