Monad - PDFSEARCH.IO - Document Search Engine

Monad
Results: 766

#	Item
311	Flexible Dynamic Information Flow Control in Haskell Deian Stefan1 Alejandro Russo2 John C. Mitchell1 Add to Reading List Source URL: www.scs.stanford.edu Language: English - Date: 2011-11-22 14:46:23 Label Computing Functional programming Monad Symbol
312	Iteratees Oleg Kiselyov Abstract. Iteratee IO is a style of incremental input processing with precise resource control. The style encourages building input processors Add to Reading List Source URL: okmij.org Language: English - Date: 2013-03-27 01:37:19 C Standard Library C file input/output Input/output Monad Io Haskell Generator Lexical analysis C Computing Software engineering Computer programming
313	Technical Report NoRecursion is a Computational Eect by Add to Reading List Source URL: www.cs.indiana.edu Language: English - Date: 2000-12-20 09:51:50 Functional programming Adjoint functors Data types Recursion Logic in computer science Monad Haskell Denotational semantics Fold Software engineering Computer programming Computing
314	CIS 194: Homework 3 Due Wednesday, February 11, 2015 Interpreters An interpreter is a program that takes another program as an input and evaluates it. Many modern languages such as Java1 , Javascript, Add to Reading List Source URL: www.seas.upenn.edu Language: English - Date: 2015-04-22 09:29:17 Control flow Type theory While loop Assignment Type system Monad ALGOL 68 Eval Conditional Software engineering Computing Computer programming
315	A Monadic Approach for Avoiding Code Duplication when Staging Memoized Functions ∗ Kedar Swadi † Walid Taha Add to Reading List Source URL: www.cs.rice.edu Language: English - Date: 2006-01-29 08:17:09 Functional programming Lambda calculus Adjoint functors Theoretical computer science Combinatory logic Memoization Fixed-point combinator Monad Combinator library Software engineering Computing Declarative programming
316	Computational effects in computable and formalized mathematics (EFFMATH) Project summary Andrej Bauer Faculty of Mathematics and Physics University of Ljubljana Add to Reading List Source URL: math.andrej.com Language: English - Date: 2014-11-22 07:09:08 Computing Mathematical constructivism Realizability Functional programming Computer science Monad Algorithm Ludics Software engineering Mathematical logic Mathematics
317	Safe Haskell David Terei1 Simon Marlow2 1 Stanford University davidt,⊥@scs.stanford.edu Add to Reading List Source URL: www.scs.stanford.edu Language: English - Date: 2012-07-20 10:35:15 Functional languages Functional programming Type theory Data types Haskell Literate programming Glasgow Haskell Compiler Generic programming Monad Software engineering Computing Computer programming
318	MLAPRONIDL: OCaml interface for APRON library Bertrand Jeannet September 11, 2009 All files distributed in the APRON library, including MLApronIDL subpackage, are distributed under LGPL license. Add to Reading List Source URL: apron.cri.ensmp.fr Language: English - Date: 2009-09-11 14:11:21 Functional languages OCaml Type system GNU Multiple Precision Arithmetic Library OBJ Arbitrary-precision arithmetic Monad Function Module Software engineering Computing Computer programming
319	CIS 194: Homework 7 Due Wednesday, 25 March Figure 1: The Haskell logo is modelled after the bind function (>>=) in the Monad type class Add to Reading List Source URL: www.seas.upenn.edu Language: English - Date: 2015-04-22 09:29:17 C++ Standard Library Sorting algorithms Analysis of algorithms Quicksort Science Monad Sequence container Fisher–Yates shuffle Randomized algorithm Mathematics Algebra Computing
320	Logic-based Web Information Extraction∗ Georg Gottlob and Christoph Koch Database and Artificial Intelligence Group, Technische Universit¨ at Wien, A-1040 Vienna, Austria. Add to Reading List Source URL: homepages.inf.ed.ac.uk Language: English - Date: 2006-07-04 06:02:42 Data management Computer languages Datalog Database management systems Logic programming Database theory Expressive power SQL Monad Computing Software engineering Query languages

UPDATE