Pages that link to "Item:Q5178755"
From MaRDI portal
The following pages link to Type checking with open type functions (Q5178755):
Displaying 5 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)
- Algebraic Specialization of Generic Functions for Recursive Types (Q5166621) (← links)
