Parametric polymorphism and semantic subtyping (Q5176967)
From MaRDI portal
scientific article; zbMATH DE number 6411536
Language | Label | Description | Also known as |
---|---|---|---|
English | Parametric polymorphism and semantic subtyping |
scientific article; zbMATH DE number 6411536 |
Statements
Parametric polymorphism and semantic subtyping (English)
0 references
5 March 2015
0 references
polymorphism
0 references
subtyping
0 references
type system
0 references