12 search results - page 1 / 3 » Typechecking and Modules for Multi-Methods |
OOPSLA
1994
Springer
13 years 9 months ago
1994
Springer
POPL
1997
ACM
13 years 9 months ago
1997
ACM
We present a new predicative and decidable type system, called ML , suitable for languages that integrate functional programming and parametric polymorphism in the tradition of ML...
JFP
2000
13 years 5 months ago
2000
A simple implementation of an SML-like module system is presented as a module parameterized by a base language and its type-checker. This implementation is useful both as a detail...
ECOOP
2006
Springer
13 years 9 months ago
2006
Springer
Abstract. We present F(Eml), a language that combines classes, extensible functions, symmetric multiple dispatching, and a practical system for parameterized modules. Parameterized...
FDL
2004
IEEE
13 years 9 months ago
2004
IEEE
In this paper, we are concerned with studying the semantic of the B modularity. We reuse the Harper-Lillibridge-Leroy (HLL) module system. This system implements an SML like module...