Sums of uncertainty: refinements go gradual (Q5370915)
From MaRDI portal
This is the item page for this Wikibase entity, intended for internal use and editing purposes.
Please use this page instead for the normal view: Sums of uncertainty: refinements go gradual
scientific article; zbMATH DE number 6794696
| Language | Label | Description | Also known as |
|---|---|---|---|
| default for all languages | No label defined |
||
| English | Sums of uncertainty: refinements go gradual |
scientific article; zbMATH DE number 6794696 |
Statements
Sums of uncertainty: refinements go gradual (English)
0 references
20 October 2017
0 references
gradual typing
0 references
refinement types
0 references
0.8254132866859436
0 references
0.7806033492088318
0 references
0.7691953778266907
0 references
0.7486411333084106
0 references
0.7464417219161987
0 references
