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:
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
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:
www.cs.williams.edu/~kim/research.html
His book is probably the comprehensive source: www.cs.pomona.edu/~kim/FOOLbook.html His papers are the here: www.cs.williams.edu/~kim/README.html In particular see: www.cs.williams.edu/~kim/README.html#Match and www.cs.williams.edu/~kim/README.html#Static But some of the other are also interesting