Pages that link to "Item:Q2817719"
From MaRDI portal
The following pages link to Type dispatch for named hierarchical types (Q2817719):
Displayed 4 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)
- Dynamic Translucency with Abstraction Kinds and Higher-Order Coercions (Q5415645) (← links)