Parameterized modules for classes and extensible functions (2006)
Cached
Download Links
- [wasp.cs.washington.edu]
- [www.cs.washington.edu]
- [www.cs.washington.edu]
- DBLP
Other Repositories/Bibliography
| Venue: | In ECOOP ’06 : Proceedings of the 20th European Conference on Object-Oriented Programming |
| Citations: | 4 - 0 self |
BibTeX
@INPROCEEDINGS{Lee06parameterizedmodules,
author = {Keunwoo Lee and Craig Chambers},
title = {Parameterized modules for classes and extensible functions},
booktitle = {In ECOOP ’06 : Proceedings of the 20th European Conference on Object-Oriented Programming},
year = {2006},
publisher = {Springer-Verlag}
}
Bookmark
 |
 |
 |
 |
 |
 |
OpenURL
Abstract
Abstract. We present F(Eml), a language that combines classes, extensible functions, symmetric multiple dispatching, and a practical system for parameterized modules. Parameterized modules permit subclasses and function extensions to be defined and typechecked once, and then reused to extend multiple argument modules. F(Eml)’s predecessor, Eml, supported classes and extensible functions with multiple dispatch, but its support for parameterized modules was weak. F(Eml)’s key novel features are alias declarations, generalized type relations in module signatures, and a nontrivial definition of signature subsumption. 1
