Modularising Inductive Families Hsiang-Shang Ko and Jeremy Gibbons Department of Computer Science, University of Oxford March 21, 2013 Abstract Dependently typed programmers are encouraged to use inductive families to in - Department of Computer Science, University of Oxford - Document - PDFSEARCH.IO

First Page	Meta Content
	Modularising Inductive Families Hsiang-Shang Ko and Jeremy Gibbons Department of Computer Science, University of Oxford March 21, 2013 Abstract Dependently typed programmers are encouraged to use inductive families to in Add to Reading List Document Date: 2013-03-21 05:04:05 Open Document File Size: 513,86 KB Share Result on Facebook

Modularising Inductive Families Hsiang-Shang Ko and Jeremy Gibbons Department of Computer Science, University of Oxford March 21, 2013 Abstract Dependently typed programmers are encouraged to use inductive families to inAdd to Reading List