Dynamic Translucency with Abstraction Kinds and Higher-Order Coercions (Q5415645)
From MaRDI portal
scientific article; zbMATH DE number 6294845
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | Dynamic Translucency with Abstraction Kinds and Higher-Order Coercions |
scientific article; zbMATH DE number 6294845 |
Statements
Dynamic Translucency with Abstraction Kinds and Higher-Order Coercions (English)
0 references
13 May 2014
0 references
abstract types
0 references
modules
0 references
generativity
0 references
coercions
0 references
parametricity
0 references
singleton kinds
0 references
