First Page | Document Content | |
---|---|---|
![]() Date: 2010-06-22 17:03:15Type theory Dependently typed programming Functional languages Data types Literate programming Agda ALF Dependent type Proof assistant Programming language theory Software engineering Computing | Add to Reading List |