First Page | Document Content | |
---|---|---|
![]() Date: 2007-10-10 18:00:00Adjoint functors Functional programming Logic in computer science Monad Models of computation Functor Applicative programming language Denotational semantics Map Declarative programming Abstract algebra Software engineering | Add to Reading List |