Modular statically typed multimethods

DOI10.1006/INCO.2002.3103MaRDI QIDQ1854533zbMATH OpenOpenAlexFDO

Authors Craig Chambers, Todd D. Millstein

Publication date 14 January 2003

Published in Information and Computation (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1006/inco.2002.3103

Mathematics Subject Classification ID

Other programming paradigms (object-oriented, sequential, concurrent, automatic, etc.) (68N19) Abstract data types; algebraic specification (68Q65)

Recommendations

• Abstraction over implementation structure with symmetrically encapsulated multimethods
• Translating double dispatch into single dispatch
• Design and evaluation of C++ open multi-methods
• Featherweight Java with dynamic and static overloading
• Multiple polymorphic arguments in single dispatch object oriented languages

Cites work

• A calculus for overloaded functions with subtyping
• A semantics of multiple inheritance
• A syntactic approach to type soundness
• An imperative object calculus
• scientific article; zbMATH DE number 986407 (Why is no real title available?)
• scientific article; zbMATH DE number 46981 (Why is no real title available?)
• scientific article; zbMATH DE number 1005367 (Why is no real title available?)
• scientific article; zbMATH DE number 1032029 (Why is no real title available?)
• scientific article; zbMATH DE number 1032031 (Why is no real title available?)
• scientific article; zbMATH DE number 944097 (Why is no real title available?)

Cited in

(15)

• Featherweight Java with dynamic and static overloading
• Type-safe covariant specialization with generalized matching
• A functional approach to generic programming using adaptive traversals
• Abstraction over implementation structure with symmetrically encapsulated multimethods
• Practical Optional Types for Clojure
• Translating double dispatch into single dispatch
• Multiple polymorphic arguments in single dispatch object oriented languages
• Modular type classes
• Generic Components for Static Operations at Object Level
• scientific article; zbMATH DE number 7168151 (Why is no real title available?)
• Typed cross-module compilation
• Dynamic overloading with copy semantics in object-oriented languages: a formal account
• Design and evaluation of C++ open multi-methods
• Polymorphic typed defunctionalization and concretization
• Object-oriented description of graph data structures

Describes a project that uses

Uses Software

• Dylan
• LISP
• Cecil

This page was built for publication: Modular statically typed multimethods

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q1854533)