Monad - PDFSEARCH.IO - Document Search Engine

Monad
Results: 766

#	Item
331	Certified HLints with Isabelle/HOLCF-Prelude Joachim Breitner1∗, Brian Huffman2 , Neil Mitchell3 and Christian Sternagel4† 1 Karlsruhe Institute of Technology, 2 Add to Reading List Source URL: www.imn.htwk-leipzig.de Language: English - Date: 2013-05-09 08:11:26 Functional programming Functional languages Recursion Literate programming Type class Type theory Haskell Monad Pattern matching Software engineering Declarative programming Computing
332	Evolution of Binding Sites Thomas D. Schneider, Ph.D. Frederick National Laboratory for Cancer Research Gene Regulation and Chromosome Biology Laboratory Molecular Information Theory Group Add to Reading List Source URL: schneider.ncifcrf.gov Language: English - Date: 2012-03-19 07:51:37 Gene expression RNA RNA polymerase Information theory Monad Genetics Chemistry Biology Enzymes Adjoint functors
333	lo: a n e w programming notation Add to Reading List Source URL: levien.com Language: English - Date: 2010-01-16 20:25:56 Mathematical notation Functional programming Monad Big O notation Lambda calculus Classical cipher Mathematics Computer programming Software engineering
334	Control Structures Table of contents 1 Embedded Pig - Python, JavaScript and Groovy.............................................................. 2 2 Embedded Pig - Java .................................................. Add to Reading List Source URL: pig.apache.org Language: English - Date: 2014-07-05 01:10:41 Cross-platform software Scripting languages Python JavaScript Java Command-line interface C Monad Pig Computing Software engineering Computer programming
335	Using Functional Programming within an Industrial Product Group: Perspectives and Perceptions David Scott Richard Sharp Add to Reading List Source URL: anil.recoil.org Language: English - Date: 2013-09-29 14:14:18 Functional languages OCaml Caml Xen ML Foreach loop Citrix Systems Monad Structural type system Computing Software engineering Computer programming
336	Typelets — A Rule-Based Evaluation Model for Dynamic, Statically Typed User Interfaces Martin Elsman1 and Anders Schack-Nielsen2 1 University of Copenhagen, Universitetsparken 5, DK-2100 Copenhagen, Denmark Add to Reading List Source URL: hiperfit.dk Language: English Type theory Procedural programming languages Cross-platform software C++ Data types Type system Monad C++ classes Constructor Software engineering Computing Computer programming
337	Extracted from: Programming Clojure Second Edition This PDF file contains pages extracted from Programming Clojure, published by Add to Reading List Source URL: media.pragprog.com Language: English - Date: 2012-04-10 15:34:33 Cross-platform software Functional languages Clojure The Pragmatic Programmer Macro Multiple dispatch Java Monad Functional programming Computing Software engineering Computer programming
338	Typed Memory Management in a Calculus of Capabilities∗ David Walker Cornell University Karl Crary Carnegie Mellon University Add to Reading List Source URL: www.cs.cornell.edu Language: English - Date: 2000-03-08 17:36:45 Computer programming Type theory Data types Region-based memory management Constructor Calculus Lambda calculus Type system Monad Computing Software engineering Memory management
339	Seq no more: Better Strategies for Parallel Haskell Simon Marlow Patrick Maier Hans-Wolfgang Loidl Add to Reading List Source URL: www.macs.hw.ac.uk Language: English - Date: 2010-08-02 12:01:28 Parallel computing Functional languages Functional programming Procedural programming languages Models of computation Algorithmic skeleton Monad Denotational semantics Eval Computing Software engineering Computer programming
340	Extended Abstract Preprint for IFL[removed]Flipping Fold, Reformulating Reduction An Exercise in Categorical Design Gershom Bazerman S&P/CapitalIQ Add to Reading List Source URL: ifl2014.github.io Language: English - Date: 2015-03-04 15:20:42 Category theory Higher-order functions Adjoint functors Functional programming Fold Recursion Map Monad Combinatorial species Abstract algebra Declarative programming Software engineering

UPDATE