First Page | Document Content | |
---|---|---|
Date: 2012-02-14 20:56:25Software engineering Declarative programming Computer programming Functional programming Monad Evaluation strategy Lambda calculus Adjoint functors Haskell Type class Ur | Evaluation strategies for monadic computations Tomas Petricek Computer Laboratory University of Cambridge United KingdomAdd to Reading ListSource URL: arxiv.orgDownload Document from Source WebsiteFile Size: 177,73 KBShare Document on Facebook |