Pages that link to "Item:Q1854533"
From MaRDI portal
The following pages link to Modular statically typed multimethods (Q1854533):
Displaying 14 items.
- Design and evaluation of C++ open multi-methods (Q608250) (← links)
- Polymorphic typed defunctionalization and concretization (Q853737) (← links)
- Object-oriented description of graph data structures (Q927450) (← links)
- Featherweight Java with dynamic and static overloading (Q1016639) (← links)
- Type-safe covariant specialization with generalized matching (Q1854554) (← links)
- A functional approach to generic programming using adaptive traversals (Q1929347) (← links)
- Abstraction over implementation structure with symmetrically encapsulated multimethods (Q2442958) (← links)
- Practical Optional Types for Clojure (Q2802470) (← links)
- Translating double dispatch into single dispatch (Q2848695) (← links)
- Modular type classes (Q3189786) (← links)
- Generic Components for Static Operations at Object Level (Q3612865) (← links)
- (Q5216307) (← links)
- Typed cross-module compilation (Q5234264) (← links)
- Dynamic overloading with copy semantics in object-oriented languages: a formal account (Q5321777) (← links)