The following pages link to Derivable Type Classes (Q4921511):
Displayed 7 items.
- Generic programming in 3D (Q923888) (← links)
- Proof Relevant Corecursive Resolution (Q2798268) (← links)
- Deriving Comparators and Show Functions in Isabelle/HOL (Q2945654) (← links)
- Formal polytypic programs and proofs (Q3070767) (← links)
- Scala for generic programmers (Q3070770) (← links)
- A type- and scope-safe universe of syntaxes with binding: their semantics and proofs (Q5019018) (← links)
- Safe zero-cost coercions for Haskell (Q5371973) (← links)