Hoare type theory, polymorphism and separation.

Saved in:

Bibliographic Details
Title:	Hoare type theory, polymorphism and separation.
Authors:	NANEVSKI, ALEKSANDAR, MORRISETT, GREG, BIRKEDAL, LARS
Source:	Journal of Functional Programming. Nov2008, Vol. 18 Issue 5/6, p865-911. 47p.
Database:	Mathematics Source

Description
ISSN:	09567968
DOI:	10.1017/S0956796808006953