First Page | Document Content | |
---|---|---|
![]() Date: 2016-01-02 15:47:17Computer programming Declarative programming Software engineering Exponentials Dependently typed programming Higher-order abstract syntax Logic programming Programming language theory Type theory Exponentiation Monad ?: | Add to Reading List |