Pages that link to "Item:Q5178755"
From MaRDI portal
The following pages link to Type checking with open type functions (Q5178755):
Displayed 8 items.
- Transformation of structure-shy programs with application to XPath queries and strategic functions (Q532417) (← links)
- Type-Safe Code Transformations in Haskell (Q2866331) (← links)
- Hierarchy in Generic Programming Libraries (Q2941169) (← links)
- A lightweight approach to datatype-generic rewriting (Q3070774) (← links)
- <scp>OutsideIn(X)</scp>Modular type inference with local assumptions (Q4918240) (← links)
- COCHIS: Stable and coherent implicits (Q4972074) (← links)
- Explicit effect subtyping (Q5120231) (← links)
- Algebraic Specialization of Generic Functions for Recursive Types (Q5166621) (← links)