First Page | Document Content | |
---|---|---|
![]() Date: 2015-04-24 13:47:47Theoretical computer science Formal methods Type theory Algorithms Programming paradigms Finite-state machine Algorithm Declarative programming HindleyMilner type system RANSAC Monad | Add to Reading List |