Pages that link to "Item:Q5178755"
From MaRDI portal
The following pages link to Type checking with open type functions (Q5178755):
Displaying 13 items.
- Transformation of structure-shy programs with application to XPath queries and strategic functions (Q532417) (← links)
- Lower bounds on type checking overloading (Q1350740) (← links)
- Type checking and problem of overloaded arguments (Q2770780) (← links)
- Type checking for JavaScript (Q2848694) (← 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)
- (Q4261071) (← 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)
- A Compilation Method for Dynamic Typing in ML (Q6488147) (← links)