Type checking higher-order polymorphic multi-methods
- 1 January 1997
- conference paper
- Published by Association for Computing Machinery (ACM)
- p. 302-315
- https://doi.org/10.1145/263699.263743
Abstract
We present a new predicative and decidable type system,called ML , suitable for languages that integratefunctional programming and parametric polymorphismin the tradition of ML [21, 28], and class-based objectorientedprogramming and higher-order multi-methodsin the tradition of CLOS [12]. Instead of using extensiblerecords as a foundation for object-oriented extensionsof functional languages, we propose to reinterpretML datatype declarations as abstract and concreteclass declarations,...Keywords
This publication has 0 references indexed in Scilit: