The Design and Formalization of Mezzo, a Permission-Based Programming Language.
Saved in:
| Title: | The Design and Formalization of Mezzo, a Permission-Based Programming Language. |
|---|---|
| Authors: | BALABONSKI, THIBAUT1, POTTIER, FRANÇOIS2, PROTZENKO, JONATHAN3 |
| Source: | ACM Transactions on Programming Languages & Systems; Aug2016, Vol. 38 Issue 4, p1-94, 94p |
| Database: | Applied Science & Technology Source |
| ISSN: | 01640925 |
|---|---|
| DOI: | 10.1145/2837022 |