First Page | Document Content | |
---|---|---|
![]() Date: 2014-12-01 04:07:07Literate programming Functional languages Higher-order functions Models of computation Logic programming Unification Lambda calculus Prolog Haskell Software engineering Computing Computer programming | Add to Reading List |