Using higher-order contracts to model session types
You are here
| Title | Using higher-order contracts to model session types |
| Publication Type | Journal Article |
| Year of Publication | 2016 |
| Authors | Giovanni B, Matthew H |
| Journal | Logical Methods in Computer Science |
| Volume | 12 |
| Date Published | 2016 |
| URL | http://arxiv.org/abs/1310.6176 |
