Back to Results
First PageMeta Content



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

Document Date: 2018-08-09 09:26:24


Open Document

File Size: 754,89 KB

Share Result on Facebook
UPDATE