Monad - PDFSEARCH.IO - Document Search Engine

Monad
Results: 766

#	Item
611	SYSTEMATICS A NEW TECHNIQUE IN THINKING Institute for the Comparative Study of History, Philosophy and the Sciences, Ltd[removed]________________________________________ THE DISCIPLINE OF SYSTEMATICS An Introductory Accoun Add to Reading List Source URL: anthonyblake.co.uk Language: English - Date: 2014-04-20 10:42:34 Structure Number prefix Tetractys Monad System Social network Attribute grammar Subject Science Systems theory Knowledge
612	Finding Programming Errors Earlier by Evaluating Runtime Monitors Ahead-of-Time Eric Bodden1 , Patrick Lam2 and Laurie Hendren1 1 2 Add to Reading List Source URL: 21w.ca Language: English - Date: 2014-02-12 18:13:43 Formal methods Logic in computer science Runtime verification Theoretical computer science Iterator Q Monad Algorithm Shape analysis Computing Software engineering Computer programming
613	Dependent Type Theory of Stateful Higher-Order Functions Aleksandar Nanevski and Greg Morrisett Harvard University {aleks\|greg}@eecs.harvard.edu January 6, 2006 Abstract Add to Reading List Source URL: ynot.cs.harvard.edu Language: English - Date: 2011-07-10 14:38:57 Logic in computer science Program logic Predicate logic Formal methods Models of computation Hoare logic Separation logic Monad First-order logic Mathematical logic Mathematics Logic
614	Certified Web Services in Ynot Ryan Wisnesky, Gregory Malecha, and Greg Morrisett Harvard University {ryan, gmalecha, greg}@cs.harvard.edu Abstract. In this paper we demonstrate that it is possible to implement certifie Add to Reading List Source URL: ynot.cs.harvard.edu Language: English - Date: 2011-07-10 14:38:57 Formal methods Procedural programming languages Theoretical computer science Models of computation Functional languages Monad ALGOL 68 Map Standard ML Software engineering Computing Mathematics
615	1 To appear in J. Functional Programming A Monadic Framework for Delimited Continuations Add to Reading List Source URL: www.cs.indiana.edu Language: English - Date: 2006-09-20 01:15:04 Continuations Control flow Functional programming Delimited continuation Programming language semantics Logic in computer science Call-with-current-continuation Operational semantics Monad Software engineering Computing Computer programming
616	Flow-Sensitive Type Recovery in Linear-Log Time ∗ Michael D. Adams Andrew W. Keep Jan Midtgaard Add to Reading List Source URL: matt.might.net Language: English - Date: 2014-01-06 09:40:03 Models of computation Logic Mathematical logic Function Data-flow analysis Free variables and bound variables Algorithm Lambda calculus Monad Mathematics Theoretical computer science Applied mathematics
617	Monadic Abstract Interpreters Ilya Sergey Dominique Devriese Matthew Might Add to Reading List Source URL: matt.might.net Language: English - Date: 2014-01-06 09:40:27 Abstract algebra Functional programming Monad Model theory Structure Spectrum Parity of a permutation Mathematics Adjoint functors Algebra
618	Advanced Pluriverse Theory for Pluriverse Engineers -- Kent D. Palmer we do not need Quantum Mechanics to generate the idea of the Pluriverse, but in fact Parmenides poem if taken seriously produces something similar to Add to Reading List Source URL: holonomic.net Language: English - Date: 2014-02-16 18:19:40 Possibility Modal logic Physical cosmology Psychological theories Multiverse Possible world Many-worlds interpretation Monad David Lewis Logic Philosophy Mathematical logic
619	Advanced Facet Theory for Facet Engineers -- Kent D. Palmer This comes out of the theory of Quantum Mechanics, which even though it is hard to understand, it is an extremely highly confirmed Add to Reading List Source URL: holonomic.net Language: English - Date: 2014-02-16 18:19:39 Ontology Functional programming Monad Qualia Gottfried Leibniz Reality Quantum mechanics Introduction to quantum mechanics Philosophy Adjoint functors Metaphysics
620	Transformational Schematic Representation, Repetition, and Mimesis across Dimensions -- Kent Palmer Transformational Schematic Representation, Add to Reading List Source URL: holonomic.net Language: English - Date: 2014-02-16 18:13:57 Humanities Mental health Cognitive science Schema Database schema Mimesis Monad Literature Psychological theories Data modeling

UPDATE