Dynamic witnesses for static type errors (or, Ill-Typed Programs Usually Go Wrong).

Saved in:

Bibliographic Details
Title:	Dynamic witnesses for static type errors (or, Ill-Typed Programs Usually Go Wrong).
Authors:	SEIDEL, ERIC L.¹, JHALA, RANJIT¹, WEIMER, WESTLEY² eseidel@cs.ucsd.edu
Source:	Journal of Functional Programming. 2018, Vol. 28, pN.PAG-N.PAG. 47p.
Database:	Mathematics Source

Description
ISSN:	09567968
DOI:	10.1017/S0956796818000126