First Page | Document Content | |
---|---|---|
Date: 2005-07-13 17:03:59Computer programming Adjoint functors Pattern matching Monad Type theory Continuation Strong monad Type class Call-with-current-continuation Software engineering Declarative programming Functional programming | Backtracking, Interleaving, and Terminating Monad Transformers (Functional Pearl) Oleg Kiselyov Chung-chieh ShanAdd to Reading ListSource URL: okmij.orgDownload Document from Source WebsiteFile Size: 185,48 KBShare Document on Facebook |