The following pages link to Associated type synonyms (Q2936787):
Displaying 12 items.
- A language for generic programming in the large (Q532409) (← links)
- Transformation of structure-shy programs with application to XPath queries and strategic functions (Q532417) (← links)
- Programming with C++ concepts (Q608245) (← links)
- Visible Type Application (Q2802481) (← links)
- Language-Based Program Verification via Expressive Types (Q2866340) (← links)
- <scp>OutsideIn(X)</scp>Modular type inference with local assumptions (Q4918240) (← links)
- COCHIS: Stable and coherent implicits (Q4972074) (← links)
- Taming the Merge Operator (Q5020905) (← links)
- (Q5094148) (← links)
- How to prove decidability of equational theories with second-order computation analyser SOL (Q5110922) (← links)
- Algebraic Specialization of Generic Functions for Recursive Types (Q5166621) (← links)
- Safe zero-cost coercions for Haskell (Q5371973) (← links)
