Visible Type Application (Extended version) Richard A. Eisenberg, Stephanie Weirich, and Hamidhasan G. Ahmed University of Pennsylvania {eir,sweirich - Generalized algebraic data type - Document - PDFSEARCH.IO

First Page	Meta Content
	Visible Type Application (Extended version) Richard A. Eisenberg, Stephanie Weirich, and Hamidhasan G. Ahmed University of Pennsylvania {eir,sweirich}@cis.upenn.edu Add to Reading List Document Date: 2015-10-16 15:01:14 Open Document File Size: 855,22 KB Share Result on Facebook

Visible Type Application (Extended version) Richard A. Eisenberg, Stephanie Weirich, and Hamidhasan G. Ahmed University of Pennsylvania {eir,sweirich}@cis.upenn.edu Add to Reading List