Type-safe covariant specialization with generalized matching

DOI10.1006/inco.2001.3048zbMath1012.68047OpenAlexW2082189661MaRDI QIDQ1854554

Ran Rinat

Publication date: 14 January 2003

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

Full work available at URL: https://semanticscholar.org/paper/42c7896e862679285b5791cecf99af228fb9870a

Mathematics Subject Classification ID

Other programming paradigms (object-oriented, sequential, concurrent, automatic, etc.) (68N19)

Uses Software

• Eiffel
• Cecil
• PolyTOIL

Cites Work

• Modular statically typed multimethods
• A paradigmatic object-oriented programming language: Design, static typing and semantics
• Unnamed Item
• Unnamed Item
• Unnamed Item

This page was built for publication: Type-safe covariant specialization with generalized matching