1ML – core and modules united (F-ing first-class modules) (Q2981941)
From MaRDI portal
scientific article
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | 1ML – core and modules united (F-ing first-class modules) |
scientific article |
Statements
1ML – core and modules united (F-ing first-class modules) (English)
0 references
10 May 2017
0 references
ML modules
0 references
System F
0 references
abstract data types
0 references
elaboration
0 references
existential types
0 references
first-class modules
0 references
type systems
0 references
