Haskell - PDFSEARCH.IO - Document Search Engine

Haskell
Results: 1146

#	Item
631	Implementing Untyped λ-Calculus Implementing Untyped λ-Calculus in Haskell slide: Jaiyalas Add to Reading List Source URL: www.godfat.org Language: English - Date: 2013-10-31 13:15:28 Lambda calculus Computer science Calculus Theoretical computer science Applied mathematics Computability theory
632	A Thesis Submitted in Partial Fulfillment of the Requirements for the Degree of Master of Science (MSc.) A Cookbook for the Haskell XML Toolbox with Examples for Processing RDF Documents Add to Reading List Source URL: www.fh-wedel.de Language: English - Date: 2011-02-25 09:11:25 Markup languages Technical communication RDF ISO standards XML Document Type Definition RELAX NG Blank node XSLT Computing Web standards Semantic Web
633	TRANSACT[removed]A Hybrid TM for Haskell ∗ Ryan Yates Michael L. Scott Add to Reading List Source URL: www.cs.rochester.edu Language: English - Date: 2014-03-26 17:12:55 Computing Software Software transactional memory Linearizability Transactional memory Glasgow Haskell Compiler Database transaction Lock Concurrent Haskell Transaction processing Concurrency control Data management
634	A Tutorial on Parallel and Concurrent Programming in Haskell Simon Peyton Jones and Satnam Singh Microsoft Research Cambridge [removed] [removed] Add to Reading List Source URL: research.microsoft.com Language: English - Date: 2009-05-11 06:45:25 Functional languages Haskell Parallel computing Data parallelism Pure Futures and promises Eval ALGOL 68 Thread Computing Software engineering Computer programming
635	Simulating Quantified Class Constraints Valery Trifonov Department of Computer Science Yale University New Haven, CT, USA[removed] Add to Reading List Source URL: flint.cs.yale.edu Language: English - Date: 2003-08-22 11:33:07 Declarative programming Data types Functional programming Higher-order functions Literate programming Type class Generic programming Map Haskell Software engineering Computing Type theory
636	[Cite as Huynh v. Haskell, 2013-Ohio[removed]IN THE COURT OF APPEALS TWELFTH APPELLATE DISTRICT OF OHIO CLERMONT COUNTY Add to Reading List Source URL: www.sconet.state.oh.us Language: English - Date: 2013-11-12 12:03:50 Legal terms Res judicata Appeal Lawsuit Collateral estoppel Law Civil procedure Common law
637	Adventures in Extraction Wouter Swierstra Brouwer Seminar, [removed]with some slides from Don Stewart Add to Reading List Source URL: www.cs.ru.nl Language: English - Date: 2012-01-11 05:53:34 Functional languages Tiling window managers Xmonad Coq Compcert Haskell Proof assistant Functional programming Ion Software System software Computing
638	Conservative Concurrency in Haskell David Sabel and Manfred Schmidt-Schauß Goethe-University, Frankfurt am Main, Germany LICS’12, Dubrovnik, Croatia Add to Reading List Source URL: www.ki.informatik.uni-frankfurt.de Language: English - Date: 2012-06-25 15:40:34 Functional languages Literate programming Functional programming Haskell Monad Swiss franc Software engineering Computer programming Computing
639	A History of Haskell: Being Lazy With Class April 16, 2007 Paul Hudak John Hughes Add to Reading List Source URL: research.microsoft.com Language: English - Date: 2007-04-16 10:43:54 Functional languages Functional programming Literate programming Type theory Evaluation strategy Haskell Orwell Lazy evaluation Monad Software engineering Computing Computer programming
640	Conservative Concurrency in Haskell David Sabel and Manfred Schmidt-Schauß Computer Science Institute, Goethe-University, Frankfurt am Main, Germany Email: {sabel,schauss}@ki.informatik.uni-frankfurt.de Add to Reading List Source URL: www.ki.informatik.uni-frankfurt.de Language: English - Date: 2012-06-27 17:17:43 Applied mathematics Computing Logic in computer science Models of computation Combinatory logic Lambda calculus Monad Π-calculus Lambda Software engineering Functional programming Theoretical computer science

UPDATE