Type-checking multi-parameter type classes (Q4331136)
From MaRDI portal
scientific article; zbMATH DE number 1740678
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | Type-checking multi-parameter type classes |
scientific article; zbMATH DE number 1740678 |
Statements
Type-checking multi-parameter type classes (English)
0 references
14 May 2002
0 references
domain-driven unifying resolution
0 references
