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

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

Document is deleted from original location.
Use the Download Button below to download from the Web Archive.

File Size: 454,46 KB