Syntactic soundness proof of a type-and-capability system with hidden state.

Saved in:

Bibliographic Details
Title:	Syntactic soundness proof of a type-and-capability system with hidden state.
Authors:	POTTIER, FRANÇOIS¹ Francois.Pottier@inria.fr
Source:	Journal of Functional Programming. Jan2013, Vol. 23 Issue 1, p38-144. 107p.
Database:	Mathematics Source

Description
ISSN:	09567968
DOI:	10.1017/S0956796812000366