Category Theory and Functional Programming
| Theme | Description | URL |
|---|---|---|
| Category and Haskell | Category Hask and Monad are studied | http://en.wikibooks.org/wiki/Haskell/Category_theory |
| Generic Programming | Categorical Specification and Implementation | http://www.cse.chalmers.se/~patrikj/poly/afp98 |
| Inductive and Coinductive | varmo_thesis.pdf(512) | |
| Comonads | http://www.eyrie.org/~zednenem/2004/hsce/ |
varmo_thesis.pdf