Associated types with class
From MaRDI portal
Publication:5276128
Recommendations
Cited in
(15)- A language for generic programming in the large
- Open and closed scopes for constrained genericity
- Safe zero-cost coercions for Haskell
- Constructing language processors with algebra combinators
- Programming with C++ concepts
- A lightweight approach to datatype-generic rewriting
- Taming the merge operator
- First-Class Type Classes
- COCHIS: stable and coherent implicits
- How to prove decidability of equational theories with second-order computation analyser SOL
- Associated type synonyms
- scientific article; zbMATH DE number 7566074 (Why is no real title available?)
- A Compilation Method for Dynamic Typing in ML
- Type-safe code transformations in Haskell
- Skeleton composition versus stable process systems in Eden
This page was built for publication: Associated types with class
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q5276128)