Using higher-order contracts to model session types (Q5739895)
From MaRDI portal
!
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 6601113
| Language | Label | Description | Also known as |
|---|---|---|---|
| default for all languages | No label defined |
||
| English | Using higher-order contracts to model session types |
scientific article; zbMATH DE number 6601113 |
Statements
Using higher-order contracts to model session types (English)
0 references
6 July 2016
0 references
recursive subtyping
0 references
higher-order types
0 references
duality
0 references
contract compliance
0 references
testing preorders
0 references
0.9875376224517822
0 references
0.820695698261261
0 references
0.7523531317710876
0 references
0.7373712658882141
0 references
0.7263697385787964
0 references
