First Page | Document Content | |
---|---|---|
![]() Date: 2016-08-02 06:27:04Software engineering Type theory Declarative programming Computing Generic programming Polytypic Polymorphism Map Lambda calculus Dependent type Fold CurryHoward correspondence | Add to Reading List |