Date: 2011-04-06 12:22:59

Type theory

Functional languages

Logic in computer science

Data types

Dependent type

Formal verification

Functional programming

Type system

Haskell

Software engineering

Programming language theory

Computing

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

File Size: 539,88 KB