Back to Results
First PageMeta Content
Type theory / Data types / Functional programming / Dependently typed programming / Generalized algebraic data type / Type class / Valuation


System FC with Explicit Kind Equality (Extended Version) Stephanie Weirich Justin Hsu Richard A. Eisenberg
Add to Reading List

Document Date: 2013-08-06 17:30:04

Open Document

File Size: 454,46 KB

Share Result on Facebook
UPDATE