Type-Safety and Overloading in Sather
| Title | Type-Safety and Overloading in Sather |
| Publication Type | Technical Report |
| Year of Publication | 1997 |
| Authors | Gomes, B., Stoutamire D., & Weissman B. |
| Other Numbers | 1117 |
| Abstract | Method overloading is a form of statically resolved multi-methods which may be used to express specialization in a type hierarchy[GSWF97]. The design of the overloading rule in Sather is constrained by the presence of multiple-subtyping, and the ability to add supertyping edges to the type graph after-the-fact [SO96]. We describe the design of overloading rules which permit method specialization while allowing separate type-checking i.e. existing code cannot be broken by after-the-fact addition of supertyping edges. |
| URL | http://www.icsi.berkeley.edu/ftp/global/pub/techreports/1997/tr-97-055.pdf |
| Bibliographic Notes | ICSI Technical Report TR-97-055 |
| Abbreviated Authors | B. Gomes, D. Stoutamire, and B. Weissman |
| ICSI Publication Type | Technical Report |