Monad - PDFSEARCH.IO - Document Search Engine

Monad
Results: 766

#	Item
361	Coeffects: A calculus of context-dependent computation Tomas Petricek Dominic Orchard Alan Mycroft Add to Reading List Source URL: www.cl.cam.ac.uk Language: English - Date: 2014-06-16 05:18:39 Programming language semantics Denotational semantics Logic in computer science Curvature Free variables and bound variables Vector space Lambda calculus Monad Mathematics Algebra Models of computation
362	COMP 4161 NICTA Advanced Course Advanced Topics in Software Verification Toby Murray, June Andronick, Gerwin Klein >>= Add to Reading List Source URL: cs4161.web.cse.unsw.edu.au Language: English - Date: 2014-11-10 04:09:39 Science Program logic Computer law Copyleft Monad Isabelle Formal verification Predicate transformer semantics Creative Commons Theoretical computer science Formal methods Applied mathematics
363	Getting Started with AutoCorres Japheth Lim Rohan Jacob-Rao David Greenaway Add to Reading List Source URL: ssrg.nicta.com.au Language: English - Date: 2014-12-16 00:21:44 Procedural programming languages Functional programming Monad C++ classes ALGOL 68 Function Software engineering Computer programming Computing
364	On Refinement Calculus and Partial Correctness (DRAFT) R.D. Arthan 10 December[removed] Add to Reading List Source URL: www.lemma-one.com Language: English - Date: 2006-12-10 08:21:15 Program logic Functions and mappings Function Hoare logic Refinement calculus S Monad Uniform space Mathematics Mathematical logic Formal methods
365	Introduction to Patents Japanese Patent Publication No[removed]Information Extracting Devise, Information Add to Reading List Source URL: www.nict.go.jp Language: English - Date: 2014-01-20 00:34:23 Natural language processing Data analysis Infographics Statistical natural language processing Artificial intelligence applications Regular expression Database Chart Monad Computing Data management Software engineering
366	Coq of OCaml OCaml Workshop[removed]Introduction Add to Reading List Source URL: ocaml.org Language: English - Date: 2015-04-01 15:08:24 Functional languages OCaml Caml Monad ML Coq Fixed-point combinator Exception handling Coenzyme Q10 Software engineering Computing Computer programming
367	Healthy Hearing Consent Form[removed]current).eps Add to Reading List Source URL: www.health.qld.gov.au Language: English - Date: 2013-09-18 21:33:04 Functional programming Monad Computing
368	Binders Unbound Stephanie Weirich Brent A. Yorgey Tim Sheard Add to Reading List Source URL: www.seas.upenn.edu Language: English - Date: 2014-07-10 05:47:09 Lambda calculus Logic Predicate logic Computability theory De Bruijn index Free variables and bound variables Closure Monad Combinatory logic Mathematics Software engineering Computing
369	An automaton model for forest algebras. Antoine Delignat-Lavaud An automaton model for Add to Reading List Source URL: antoine.delignat-lavaud.fr Language: English - Date: 2010-08-31 10:20:39 Formal languages Algebra Mathematics Category theory Algebraic structures Syntactic monoid Regular language Monoid Monad Abstract algebra Automata theory Semigroup theory
370	A Haskell Library for Term Rewriting Bertram Felgenhauer1 , Martin Avanzini1 and Christian Sternagel2 1 2 Add to Reading List Source URL: www.imn.htwk-leipzig.de Language: English - Date: 2013-05-21 11:14:24 Formal languages Logic in computer science Computability theory Mathematical logic Rewriting Critical pair Unification Confluence Monad Theoretical computer science Programming language theory Applied mathematics

UPDATE