Modular typechecking for hierarchically extensible datatypes and functions
- 17 September 2002
- journal article
- Published by Association for Computing Machinery (ACM) in ACM SIGPLAN Notices
- Vol. 37 (9) , 110-122
- https://doi.org/10.1145/583852.581489
Abstract
No abstract availableThis publication has 20 references indexed in Scilit:
- Object-oriented multi-methods in CecilPublished by Springer Nature ,2006
- Modular Statically Typed MultimethodsInformation and Computation, 2002
- Featherweight JavaACM Transactions on Programming Languages and Systems, 2001
- Modular Statically Typed MultimethodsPublished by Springer Nature ,1999
- Predicate dispatching: A unified theory of dispatchPublished by Springer Nature ,1998
- Synthesizing object-oriented and functional design to promote re-usePublished by Springer Nature ,1998
- The definition of Extended ML: A gentle introductionTheoretical Computer Science, 1997
- Typechecking and modules for multimethodsACM Transactions on Programming Languages and Systems, 1995
- A Calculus for Overloaded Functions with SubtypingInformation and Computation, 1995
- A semantics of multiple inheritanceInformation and Computation, 1988