Syntactic soundness proof of a type-and-capability system with hidden state.
Saved in:
| Title: | Syntactic soundness proof of a type-and-capability system with hidden state. |
|---|---|
| Authors: | POTTIER, FRANÇOIS1 Francois.Pottier@inria.fr |
| Source: | Journal of Functional Programming. Jan2013, Vol. 23 Issue 1, p38-144. 107p. |
| Database: | Mathematics Source |
Be the first to leave a comment!
