Monad - PDFSEARCH.IO - Document Search Engine

Monad
Results: 766

#	Item
141	Monad Transformers Step by Step Martin Grabm¨ uller OctDraft)∗ Abstract Add to Reading List Source URL: www.cs.virginia.edu Language: English - Date: 2008-02-27 23:42:25
142	Computable Real Analysis without Set Theory or Turing Machines Paul Taylor Department of Computer Science University of Manchester UK EPSRC GR/S58522 Add to Reading List Source URL: www.monad.me.uk Language: English - Date: 2009-02-12 12:33:09
143	Programming with Algebraic Effects and Handlers Andrej Bauer Matija Pretnar Add to Reading List Source URL: math.andrej.com Language: English - Date: 2012-03-08 07:36:33 Software engineering Computer programming Theoretical computer science Symbol Logic in computer science Valuation Denotational semantics Monad Table of stars with Bayer designations
144	Inside every model of Abstract Stone Duality lies an Arithmetic Universe Paul Taylor 8 May 2005 Abstract The first paper published on Abstract Stone Duality showed that the overt discrete objects Add to Reading List Source URL: www.monad.me.uk Language: English - Date: 2009-02-12 13:08:05
145	The Synthetic Plotkin Powerdomain Wesley Phoa Paul Taylor 1990 Add to Reading List Source URL: www.monad.me.uk Language: English - Date: 2009-02-13 17:07:58
146	Computably Based Locally Compact Spaces Paul Taylor March 7, 2006 Abstract ASD (Abstract Stone Duality) is a re-axiomatisation of general topology in which the topology on a space is treated, not as an infinitary lattice Add to Reading List Source URL: www.monad.me.uk Language: English - Date: 2009-02-12 13:09:41
147	The Gradualizer: A Methodology and Algorithm for Generating Gradual Type Systems Matteo Cimini Jeremy G. Siek Add to Reading List Source URL: dl.dropboxusercontent.com Language: English Type theory Lambda calculus Type systems Models of computation Program analysis Simply typed lambda calculus Gradual typing Monad System F
148	APPROXIMATE MAPS, FILTER MONAD, AND A REPRESENTATION OF LOCALIC MAPS BERNHARD BANASCHEWSKI AND ALEŠ PULTR Abstract. A covariant representation of the category of locales by approximate maps (mimicking a natural represen Add to Reading List Source URL: iti.mff.cuni.cz Language: English - Date: 2016-02-04 05:53:38
149	Non-Artin Gluing in Recursion Theory and Lifting in Abstract Stone Duality Paul Taylor August 5, 2003 Abstract Stone duality is a radical reformulation of general topology, in which the topology on a space X is not consi Add to Reading List Source URL: www.monad.me.uk Language: English - Date: 2009-02-12 13:04:10
150	The Dedekind Reals in ASD Paul Taylor1 Andrej Bauer2 1 Department Add to Reading List Source URL: www.monad.me.uk Language: English - Date: 2009-02-12 12:32:22

UPDATE