On the bright side of type classes (Q5176970)
From MaRDI portal
scientific article; zbMATH DE number 6411540
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | On the bright side of type classes |
scientific article; zbMATH DE number 6411540 |
Statements
On the bright side of type classes (English)
0 references
5 March 2015
0 references
ad hoc polymorphism
0 references
Agda
0 references
instance arguments
0 references
type classes
0 references
