Proofs for “Integrating Dependent and Linear Types” Neel Krishnaswami, Pierre Pradic, and Nick Benton July 8, 2014 1 - Neel - Document - PDFSEARCH.IO

First Page	Meta Content
	Proofs for “Integrating Dependent and Linear Types” Neel Krishnaswami, Pierre Pradic, and Nick Benton July 8, 2014 1 Add to Reading List Document Date: 2014-07-09 06:21:50 Open Document File Size: 336,19 KB Share Result on Facebook

Proofs for “Integrating Dependent and Linear Types” Neel Krishnaswami, Pierre Pradic, and Nick Benton July 8, 2014 1Add to Reading List