Type inference, principal typings, and let-polymorphism for first-class mixin modules (Q2936778)
From MaRDI portal
scientific article
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | Type inference, principal typings, and let-polymorphism for first-class mixin modules |
scientific article |
Statements
Type inference, principal typings, and let-polymorphism for first-class mixin modules (English)
0 references
6 January 2015
0 references
mixin modules
0 references
polymorphism
0 references
record concatenation
0 references
row unification
0 references
type systems
0 references
