Pages that link to "Item:Q2817719"
From MaRDI portal
The following pages link to Type dispatch for named hierarchical types (Q2817719):
Displaying 6 items.
- Delimited control in OCaml, abstractly and concretely (Q428889) (← links)
- Typed generic traversal with term rewriting strategies (Q1394988) (← links)
- Type-based hot swapping of running modules (Q1772100) (← links)
- Translating double dispatch into single dispatch (Q2848695) (← links)
- A design for type-directed programming in Java (Q2848699) (← links)
- Dynamic Translucency with Abstraction Kinds and Higher-Order Coercions (Q5415645) (← links)