Monad - PDFSEARCH.IO - Document Search Engine

Monad
Results: 766

#	Item
241	PDF Document Add to Reading List Source URL: www.cs.indiana.edu Language: English - Date: 2014-04-02 01:09:16 Functional programming Adjoint functors Causality Monad Parallel computing Haskell Continuation Type class Determinism Software engineering Computing Computer programming
242	The mLite Language Nils M Holm, 2014 mLite is a general-pur pose, functional, lightweight, dynamic programming language. It borrows ideas from both the Scheme [R4RS] and Standard ML [DEFSML] languages, taking most of its Add to Reading List Source URL: www.t3x.org Language: English - Date: 2014-11-16 10:27:37 Functional programming Lambda calculus Higher-order functions Functional languages Data types Standard ML Anonymous function Pattern matching Monad Software engineering Declarative programming Computer programming
243	An Algorithm for Checking the Disjointness of Types Manfred Widera Fachbereich Informatik FernUniversität HagenHagen Germany Add to Reading List Source URL: repository.readscheme.org Language: English - Date: 2010-10-22 08:06:09 Computing Data types Constraint programming Inference Program analysis Type system Type inference Function Monad Software engineering Type theory Mathematics
244	Verifying Higher-order Programs with the Dijkstra Monad Nikhil Swamy1 Joel Weinberger2 Cole Schlesinger3 Add to Reading List Source URL: research.microsoft.com Language: English - Date: 2013-03-21 00:10:15 Semantics HTML Model theory Predicate logic Subroutines Typeof Foreach loop Tree traversal H1 Computing Software engineering Logic
245	. A nondeterministic probabilistic monad with nondeterminism for coalgebraic trace semantics . Add to Reading List Source URL: calco2011.ecs.soton.ac.uk Language: English - Date: 2011-09-18 15:59:28 Software engineering Functional programming Monad Theoretical computer science Models of computation Automata theory Theory of computation
246	Haskell: A Fun, Friendly, Fantastic Functional Language Andrew Brinker Hello, Welcome to the wonderful world of Haskell. Haskell is my personal favorite programming language, and is the most exciting and interesting lang Add to Reading List Source URL: andrewbrinker.com Language: English - Date: 2015-04-21 19:13:18 Functional programming Subroutines Functional languages Type theory Lambda calculus Haskell Anonymous function Monad Pattern matching Software engineering Computer programming Computing
247	BRICS Basic Research in Computer Science BRICS DS-01-6 B. Grobauer: Topics in Semantics-based Program Manipulation Add to Reading List Source URL: www.brics.dk Language: English - Date: 2001-09-24 07:35:52 Logic in computer science Evaluation strategy Incremental computing Partial evaluation Models of computation Denotational semantics Olivier Danvy BRIC Monad Software engineering Computing Programming language theory
248	Type Classes Without Types ∗ Ronald Garcia Andrew Lumsdaine Open Systems Lab Add to Reading List Source URL: repository.readscheme.org Language: English - Date: 2010-10-22 08:05:12 Lambda calculus Functional programming Type theory Data types Formal methods Monad Fixed-point combinator Map Type class Software engineering Computing Computer programming
249	Abstraction and Performance from Explicit Monadic Reflection Jonathan Sobel Erik Hilsdale SAS Institute Add to Reading List Source URL: repository.readscheme.org Language: English - Date: 2010-10-22 08:05:12 Adjoint functors Functional programming Lambda calculus Monad Logic in computer science Arrow Closure List Scheme Software engineering Computer programming Computing
250	Multi-Level Specialization (Extended Abstract) Robert Gluck1 and Jesper Jrgensen2 DIKU, Department of Computer Science, University of Copenhagen, Add to Reading List Source URL: repository.readscheme.org Language: English - Date: 2010-10-22 08:05:17 Procedural programming languages Generating function Compiler ALGOL 68 Monad Software engineering Computing Computer programming

UPDATE