Constrained Type Families (extended version) J. GARRETT MORRIS, The University of Edinburgh and The University of Kansas RICHARD A. EISENBERG, Bryn Mawr College We present an approach to support partiality in type-level

First Page		Document Content
Date: 2018-08-09 09:26:24		Constrained Type Families (extended version) J. GARRETT MORRIS, The University of Edinburgh and The University of Kansas RICHARD A. EISENBERG, Bryn Mawr College We present an approach to support partiality in type-level Add to Reading List Source URL: ittc.ku.edu Download Document from Source Website File Size: 754,89 KB Share Document on Facebook