Non-parametric parametricity (Q4918243)
From MaRDI portal
!
WARNING
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 6156956
| Language | Label | Description | Also known as |
|---|---|---|---|
| default for all languages | No label defined |
||
| English | Non-parametric parametricity |
scientific article; zbMATH DE number 6156956 |
Statements
Non-parametric parametricity (English)
0 references
24 April 2013
0 references
dynamic type generation
0 references
language with non-parametric polymorphism
0 references
0.999493420124054
0 references
0.7508677244186401
0 references
0.7456240057945251
0 references
0.742059051990509
0 references
0.7387890219688416
0 references
