Matching/Kim Bruce research pointers

Allen Wirfs-Brock Allen.Wirfs-Brock at microsoft.com
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:

http://www.cs.williams.edu/~kim/research.html

His book is probably the comprehensive source: http://www.cs.pomona.edu/~kim/FOOLbook.html
His papers are the here: http://www.cs.williams.edu/~kim/README.html
In particular see: http://www.cs.williams.edu/~kim/README.html#Match and http://www.cs.williams.edu/~kim/README.html#Static
But some of the other are also interesting

-------------- next part --------------
An HTML attachment was scrubbed...
URL: http://mail.mozilla.org/pipermail/es-discuss/attachments/20080926/cb02df8c/attachment.html 


More information about the Es-discuss mailing list