Monad - PDFSEARCH.IO - Document Search Engine

Monad
Results: 766

#	Item
341	Formal Verification of a C Compiler Front-end Sandrine Blazy, Zaynah Dargaye, and Xavier Leroy INRIA Rocquencourt[removed]Le Chesnay, France {Sandrine.Blazy, Zaynah.Dargaye, Xavier.Leroy}@inria.fr Add to Reading List Source URL: gallium.inria.fr Language: English - Date: 2006-05-16 04:47:55 Procedural programming languages Data types C++ Logic in computer science Programming language semantics Pointer C ALGOL 68 Monad Software engineering Computing Programming language theory
342	Linear types can change the world! Philip Wadler University of Glasgow copy a = (a ; a ); Add to Reading List Source URL: www.cs.ioc.ee Language: English - Date: 2010-02-23 02:55:52 Computer programming Program analysis Type system Type theory Linear programming Array data type Foreach loop Monad Comparison of programming languages Computing Software engineering Data types
343	Towards efficient implementations of effect handlers – Extended Abstract – Steven Keuchel Tom Schrijvers Add to Reading List Source URL: ifl2014.github.io Language: English - Date: 2015-03-04 15:20:42 Functional programming Control flow Adjoint functors Continuations Programming paradigms Monad Delimited continuation Exception handling Type class Software engineering Computing Computer programming
344	A category-theoretic account of program modules Eugenio Moggi∗ [removed] LFCS, University of Edinburgh, EH9 3JZ Edinburgh, UK May 31, 1994 Add to Reading List Source URL: www.disi.unige.it Language: English - Date: 2002-07-31 04:31:16 Adjoint functors Functors Functional programming Lambda calculus Functor Monad Natural transformation Product Cartesian closed category Category theory Mathematics Abstract algebra
345	Combining Shared State with Speculative Parallelism in a Functional Language Matthew Le Matthew Fluet Add to Reading List Source URL: ifl2014.github.io Language: English - Date: 2015-03-04 15:20:42 Deduction Entailment Logical consequence Logical syntax Metalogic Monad Thread Parallel computing Schedule Logic Computing Software engineering
346	index Symbols : (colon) 43 & (ampersand) 65 == operator 25 => arrow 67 Add to Reading List Source URL: www.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
347	AURA: Preliminary Technical Results University of Pennsylvania Technical Report MS-CISApril 17, 2008 Limin Jia Add to Reading List Source URL: www.andrew.cmu.edu Language: English - Date: 2014-11-11 20:30:18 Type theory Dependently typed programming Functional languages Logic in computer science Lambda calculus Calculus of constructions Generalized algebraic data type Monad Curry–Howard correspondence Software engineering Declarative programming Programming language theory
348	An Operational Semantics for Parallel Lazy Evaluation Clem Baker-Finch David J. King Phil Trinder Add to Reading List Source URL: www.macs.hw.ac.uk Language: English - Date: 2009-06-05 07:05:20 Heap Monad Computing
349	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-11-21 01:17:03 Cross-platform software Scripting languages Python JavaScript Pig Command-line interface Monad Java C Computing Software engineering Computer programming
350	Moscow ML Language Overview Version 2.00 of June 2000 Sergei Romanenko, Russian Academy of Sciences, Moscow, Russia Claudio Russo, Cambridge University, Cambridge, United Kingdom Peter Sestoft, Royal Veterinary and Agric Add to Reading List Source URL: www.itu.dk Language: English - Date: 2007-04-17 07:26:57 Procedural programming languages Functional languages Standard ML Monad Functor ALGOL 68 Variable Identifier Scope Software engineering Computing Programming language theory

UPDATE