Monad - PDFSEARCH.IO - Document Search Engine

Monad
Results: 766

#	Item
441	Conservative Concurrency in Haskell David Sabel and Manfred Schmidt-Schauß Goethe-University, Frankfurt am Main, Germany LICS’12, Dubrovnik, Croatia Add to Reading List Source URL: www.ki.informatik.uni-frankfurt.de Language: English - Date: 2012-06-25 15:40:34 Functional languages Literate programming Functional programming Haskell Monad Swiss franc Software engineering Computer programming Computing
442	How to record plants in Shropshire Alex Lockton ([removed]) With the new Flora out of the way we can think about the next stages in botanical recording in Shropshire. It is difficult to know what to record af Add to Reading List Source URL: www.bsbi.org.uk Language: English - Date: 2014-09-29 06:25:42 Functional programming Monad Plant taxonomy Quadrat Type Plant Environment Science Adjoint functors Environmental statistics Biology
443	A History of Haskell: Being Lazy With Class April 16, 2007 Paul Hudak John Hughes Add to Reading List Source URL: research.microsoft.com Language: English - Date: 2007-04-16 10:43:54 Functional languages Functional programming Literate programming Type theory Evaluation strategy Haskell Orwell Lazy evaluation Monad Software engineering Computing Computer programming
444	Temporal logic and FRP Intuitionistic S4 categories Temporal categories Add to Reading List Source URL: www.ioc.ee Language: English - Date: 2012-07-10 13:09:46 Declarative programming Monad Categorical logic Temporal logic Modal logic Cartesian closed category Adjoint functors Logic Mathematics
445	Conservative Concurrency in Haskell David Sabel and Manfred Schmidt-Schauß Computer Science Institute, Goethe-University, Frankfurt am Main, Germany Email: {sabel,schauss}@ki.informatik.uni-frankfurt.de Add to Reading List Source URL: www.ki.informatik.uni-frankfurt.de Language: English - Date: 2012-06-27 17:17:43 Applied mathematics Computing Logic in computer science Models of computation Combinatory logic Lambda calculus Monad Π-calculus Lambda Software engineering Functional programming Theoretical computer science
446	Wearing the hair shirt A retrospective on Haskell Simon Peyton Jones Microsoft Research, Cambridge Haskell is 15 years old Add to Reading List Source URL: research.microsoft.com Language: English - Date: 2012-02-12 08:18:59 Functional programming Functional languages Haskell Literate programming Monad Id Simon Peyton Jones Philip Wadler Software engineering Declarative programming Computing
447	MILITARY ASSIGNMENTS AND AUTHORIZED ABSENCES, COMDTINST M1000.8A Add to Reading List Source URL: www.uscg.mil Language: English - Date: 2013-10-09 12:25:36 Gendarmerie United States Coast Guard Assignment Monad Law Software engineering Computer programming
448	µKanren: A Minimal Functional Core for Relational Programming Jason Hemann Daniel P. Friedman Add to Reading List Source URL: webyrd.net Language: English - Date: 2014-01-13 20:04:12 Functional programming Search algorithms Monad Scheme ALGOL 68 Backtracking Software engineering Programming language theory Computer programming
449	Lists in TEX’s Mouth Alan Jeffrey August 6, 2013 1 Add to Reading List Source URL: osl.ugr.es Language: English - Date: 2013-08-06 13:14:53 Computability theory Boolean algebra Functions and mappings Lambda calculus Theoretical computer science Monad Boolean data type Function Conditional Mathematics Computing Mathematical logic
450	Lists in TEX’s Mouth Alan Jeffrey August 6, 2013 1 Add to Reading List Source URL: ftp.heanet.ie Language: English - Date: 2013-08-06 13:14:53 Computability theory Boolean algebra Functions and mappings Lambda calculus Theoretical computer science Monad Boolean data type Function Conditional Mathematics Computing Mathematical logic

UPDATE