Haskell - PDFSEARCH.IO - Document Search Engine

Haskell
Results: 1146

#	Item
611	[Faculty of Science Information and Computing Sciences] Haskell, Do You Read Me? Constructing and Composing Efficient Top-down Parsers at Runtime Add to Reading List Source URL: foswiki.cs.uu.nl Language: English - Date: 2008-11-10 08:22:14 Data Information Concurrency control Multiplexing Central processing unit Data management Transaction processing
612	Haskell Package Dependencies Logical Theory Dependencies Verified Haskell Packages Add to Reading List Source URL: www.gilith.com Language: English - Date: 2013-09-23 15:43:15 Functional languages Haskell Literate programming Dependency hell Package Dependency graph Scientific theory Debian Computing Computer programming Software
613	Dependent Types for an Adequate Programming of Algebra Sergei D. Meshveliani ? Add to Reading List Source URL: ceur-ws.org Language: English - Date: 2013-07-06 08:56:04 Functional languages Agda Haskell Proof assistant Dependent type Fold Functional programming Q Type system Software engineering Computing Programming language theory
614	Contents Table of contents Room Page Add to Reading List Source URL: icfpconference.org Language: English - Date: 2014-08-18 16:17:18 Functional languages International Conference on Functional Programming ICFP Programming Contest SIGPLAN Continuation Haskell Dependent type Generic programming ML Software engineering Computing Computer programming
615	The Implementation and Use of Lazy Naturals Elliott Hughes 3rd Year Project Department of Computer Science Add to Reading List Source URL: www.jessies.org Language: English - Date: 2004-11-20 14:16:27 Functional languages Elementary mathematics Evaluation strategy Lazy evaluation Python Haskell Arbitrary-precision arithmetic Function Type system Software engineering Computing Computer programming
616	Eric Y. Kow Email: [removed] Homepage: http://erickow.com INTERESTS Natural language generation Add to Reading List Source URL: erickow.com Language: English - Date: 2014-07-05 16:04:41 Programming language theory Natural language generation Henri Poincaré Belz Computing Software engineering Haskell Literate programming
617	Multicore Garbage Collection with Local Heaps Simon Marlow Simon Peyton Jones Microsoft Research, Cambridge, U.K. Add to Reading List Source URL: research.microsoft.com Language: English - Date: 2011-06-28 08:48:51 Computer programming Data types Garbage collection C dynamic memory allocation Pointer Closure Reference Glasgow Haskell Compiler Region-based memory management Computing Software engineering Memory management
618	Memorial to James Haskell Irwin 1923–1996 CHARLES E. BRANHAM Oklahoma City, Oklahoma James Haskell “Doc” Irwin, geologist, hydrologist, musician, artist, and family man, died on August 31, 1996, at the age of 73. H Add to Reading List Source URL: rock.geosociety.org Language: English - Date: 2008-06-18 12:09:14 Navajo people Navajo Nation Geology Navajo Sandstone Geography of Oklahoma Geography of the United States Oklahoma
619	Camp Pat h Theory Ian Lynagh January 27, 2012 Contents Add to Reading List Source URL: projects.haskell.org Language: English - Date: 2012-01-27 17:12:11 Mathematical logic If and only if Logic Mathematics
620	1401 Ridgegate Place Huntsville, AL[removed]H[removed]B [removed] github. com/ shapr Add to Reading List Source URL: www.scannedinavian.com Language: English - Date: 2014-12-07 20:50:03 Zope QuickCheck Python Web developer Jython Django ReStructuredText Haskell Happstack Computing Software Scripting languages

UPDATE