Modular statically typed multimethods

DOI10.1006/INCO.2002.3103zbMath1012.68043OpenAlexW2017743728MaRDI QIDQ1854533

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)

Related Items (10)

Polymorphic typed defunctionalization and concretization ⋮ Unnamed Item ⋮ Dynamic overloading with copy semantics in object-oriented languages: a formal account ⋮ Design and evaluation of C++ open multi-methods ⋮ A functional approach to generic programming using adaptive traversals ⋮ Abstraction over implementation structure with symmetrically encapsulated multimethods ⋮ Object-oriented description of graph data structures ⋮ Practical Optional Types for Clojure ⋮ Featherweight Java with dynamic and static overloading ⋮ Type-safe covariant specialization with generalized matching

Uses Software

• LISP
• Cecil
• Dylan

Cites Work

• A semantics of multiple inheritance
• A syntactic approach to type soundness
• A calculus for overloaded functions with subtyping
• An imperative object calculus
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item

This page was built for publication: Modular statically typed multimethods