Open GADTs and Declaration-site Variance: A Problem Statement Paolo G. Giarrusso Philipps University Marburg ABSTRACT - Dependently typed programming - Document - PDFSEARCH.IO

First Page	Meta Content
	Open GADTs and Declaration-site Variance: A Problem Statement Paolo G. Giarrusso Philipps University Marburg ABSTRACT Add to Reading List Document Date: 2014-03-18 17:06:31 Open Document File Size: 209,00 KB Share Result on Facebook

Open GADTs and Declaration-site Variance: A Problem Statement Paolo G. Giarrusso Philipps University Marburg ABSTRACTAdd to Reading List