Monad - PDFSEARCH.IO - Document Search Engine

Monad
Results: 766

#	Item
321	Combining Continuations with Other Effects ∗ M. Hyland P. B. Levy G. Plotkin & J. Power Add to Reading List Source URL: www.cs.bham.ac.uk Language: English - Date: 2004-01-11 10:44:45 Adjoint functors Functional programming Monoidal categories Monad Continuation Strong monad Monoid Tensor Denotational semantics Algebra Abstract algebra Category theory
322	Maintaining Verified Software Joe Leslie-Hurd Intel Corp. Abstract Add to Reading List Source URL: www.gilith.com Language: English - Date: 2013-09-14 18:02:18 Type theory Functional languages Data types Cabal Haskell Monad Type system QuickCheck Dependency hell Software Computing Functional programming
323	Genuinely Functional User Interfaces Antony Courtney 1,2 Dept. of Computer Science Yale University New Haven, CT 06520 Add to Reading List Source URL: conal.net Language: English - Date: 2001-09-17 19:15:42 Lambda calculus Digital electronics Logic in computer science Digital signal processing Fixed-point combinator Recursion Transformer Monad Combinatory logic Theoretical computer science Electronic engineering Applied mathematics
324	Inferring Algebraic Effects Add to Reading List Source URL: arxiv.org Language: English - Date: 2014-09-12 03:07:29 Symbol Monad Computing
325	Parallel and Concurrent Programming in Haskell Lab Exercises Simon Marlow Microsoft Research Ltd., Cambridge, U.K. Add to Reading List Source URL: community.haskell.org Language: English - Date: 2012-06-20 11:31:07 Cross-platform software Procedural programming languages Concurrent Haskell Functional languages Functional programming Inter-process communication Haskell Monad Futures and promises Computing Software engineering Computer programming
326	The Peirce Translation Mart´ın Escard´o University of Birmingham, UK Paulo Oliva Queen Mary University of London, UK Add to Reading List Source URL: www.cs.bham.ac.uk Language: English - Date: 2011-06-09 07:02:59 Logic in computer science Proof theory Adjoint functors Gödel–Gentzen negative translation Monad Intuitionistic logic Quantification Peano axioms Witness Logic Mathematical logic Mathematics
327	1 Monadic Parser Combinators Graham Hutton University of Nottingham Add to Reading List Source URL: www.cs.nott.ac.uk Language: English - Date: 2001-04-05 05:58:42 Parsing Adjoint functors Computer programming Computing Parser combinator Monad Recursive descent parser Compiler-compiler Combinatory logic Functional programming Formal languages Software engineering
328	A Model of J in OMeta2/Squeak Yoshiki Ohshima, Ted Kaehler VPRI Research Memo M Add to Reading List Source URL: www.vpri.org Language: English - Date: 2015-01-21 19:14:31 APL programming language family Array programming languages Functional languages APL IBM software J Stack Rank Monad Software engineering Computing Computer programming
329	index Symbols : (colon) 43 & (ampersand) 65 == operator 25 => arrow 67 Add to Reading List Source URL: manning.com Language: English - Date: 2014-08-28 14:34:00 Computer programming Monad Parser combinator Side effect List Purely functional Monoid Memoization Parsing Software engineering Functional programming Computing
330	Everything old is new again: Quoted Domain Specific Languages Shayan Najd Sam Lindley Add to Reading List Source URL: www.cse.chalmers.se Language: English - Date: 2015-03-15 07:34:21 Lambda calculus Type theory Combinatory logic Fixed-point combinator Recursion Type system Monad Declaration First-order logic Theoretical computer science Software engineering Mathematical logic

UPDATE