First Page | Document Content | |
---|---|---|
![]() Date: 2016-04-20 00:13:43Computer programming Declarative programming Software engineering Functional programming Type theory Predicate logic Monad Algebraic data type Conditional Expression Quantifier Standard ML | Add to Reading List |