Date: 2010-12-15 21:36:48Category theory Models of computation Adjoint functors Functional programming Logic in computer science Denotational semantics Lambda calculus Cartesian closed category Sheaf F-algebra Kleisli category Monad | | A fully abstract semantics for a higher-order functional language with nondeterministic computation A LAN J EFFREY A BSTRACT. This paper is about the relationship between the theory of monadic types and the practice of cAdd to Reading ListSource URL: ect.bell-labs.comDownload Document from Source Website File Size: 275,91 KBShare Document on Facebook
|