Pages that link to "Item:Q5176970"
From MaRDI portal
The following pages link to On the bright side of type classes (Q5176970):
Displaying 6 items.
- Formalizing constructive projective geometry in Agda (Q2333313) (← links)
- COCHIS: Stable and coherent implicits (Q4972074) (← links)
- (Q5020618) (← links)
- Taming the Merge Operator (Q5020905) (← links)
- Eliminating dependent pattern matching without K (Q5371975) (← links)
- Programming with ornaments (Q5372000) (← links)