Relational Parametricity for Higher Kinds (Q4649537)
From MaRDI portal
scientific article; zbMATH DE number 6109824
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | Relational Parametricity for Higher Kinds |
scientific article; zbMATH DE number 6109824 |
Statements
22 November 2012
0 references
relational parametricity
0 references
higher kinds
0 references
polymorphism
0 references
Relational Parametricity for Higher Kinds (English)
0 references
