First Page | Document Content | |
---|---|---|
Date: 2012-03-08 07:36:33Software engineering Computer programming Theoretical computer science Symbol Logic in computer science Valuation Denotational semantics Monad Table of stars with Bayer designations | Programming with Algebraic Effects and Handlers Andrej Bauer Matija PretnarAdd to Reading ListSource URL: math.andrej.comDownload Document from Source WebsiteFile Size: 350,37 KBShare Document on Facebook |