Type inference, principal typings, and let-polymorphism for first-class mixin modules (Q2936778)
From MaRDI portal
!
This is the item page for this Wikibase entity, intended for internal use and editing purposes. Please use the normal view instead:
scientific article; zbMATH DE number 6383922
| Language | Label | Description | Also known as |
|---|---|---|---|
| default for all languages | No label defined |
||
| English | Type inference, principal typings, and let-polymorphism for first-class mixin modules |
scientific article; zbMATH DE number 6383922 |
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
0.7518125176429749
0 references
0.7421050071716309
0 references
0.7337203621864319
0 references
0.7166301012039185
0 references
