First Page | Document Content | |
---|---|---|
Date: 2013-08-06 17:30:04Type 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. EisenbergDocument is deleted from original location. Download Document from Web Archive |