Haskell - PDFSEARCH.IO - Document Search Engine

Haskell
Results: 1146

#	Item
401	A Haskell Roadshow Joachim Breitner January 20th 2011 Features Add to Reading List Source URL: www.joachim-breitner.de Language: English - Date: 2014-10-06 15:51:37 Functional languages Type theory Haskell Functional programming Type system Lazy evaluation Type inference Pure Strong typing Software engineering Programming language theory Computing
402	Federal Register / Vol. 80, NoThursday, April 23, Notices (Catalogue of Federal Domestic Assistance Program Nos, Population Research; 93.865, Research for Mothers and Children; 93.929, Center for Me Add to Reading List Source URL: www.indianaffairs.gov Language: English - Date: 2015-05-01 18:59:28 Kansas United States Geography Geological surveys Geology Reston Virginia Office of Management and Budget Haskell Indian Nations University Bureau of Indian Affairs United States administrative law Government Paperwork Reduction Act
403	The Monad.Reader Issue 19: Parallelism and Concurrency by Kazu Yamamoto and Bernie Pope and Dmitry Astapov and Mario Blaˇzevi´c Add to Reading List Source URL: themonadreader.files.wordpress.com Language: English - Date: 2011-10-26 15:02:13 Reverse proxy Haskell Literate programming Nginx FastCGI Daemon Web server Apache HTTP Server Effi Software Computing Cross-platform software
404	DRAFT of June 27, 2013 Wellfounded Recursion with Copatterns A Unified Approach to Termination and Productivity Andreas Abel Add to Reading List Source URL: www2.tcs.ifi.lmu.de Language: English - Date: 2013-06-27 12:30:39 Recursion Programming idioms Theoretical computer science Computability theory Self-reference Haskell Pattern matching Map Infinite loop Computer programming Software engineering Computing
405	A Haskell Roadshow By Joachim Breitner, for The Karlsruhe Functional Programmers Meetup Group, December 18, 2012. The following is a rough transcript of the code that I develop duing the talk. It does not contain all the Add to Reading List Source URL: darcs.nomeata.de Language: English - Date: 2012-12-19 03:48:41 Geometry Map Circle
406	Haskell in Debian Joachim “nomeata” Breitner July 28, 2011 DebConf 11, Banja Luka Add to Reading List Source URL: penta.debconf.org Language: English - Date: 2012-06-26 17:47:17 Ubuntu Cabal Archive formats Advanced Packaging Tool Debian CPAN Deb Haskell Haskell Platform Software Computing Dpkg
407	Productive Infinite Objects via Copatterns Andreas Abel1 Department of Computer Science and Engineering Chalmers and Gothenburg University Gothenburg, Sweden Add to Reading List Source URL: www2.tcs.ifi.lmu.de Language: English - Date: 2014-01-15 14:43:02 Category theory Theoretical computer science Programming idioms Functional languages Functional programming Recursion Coinduction Haskell Pattern matching Software engineering Computer programming Computing
408	Haskell Bytes A guided tour through the heap of a Haskell program Joachim Breitner∗ 13 June 2014 Galois tech talks Add to Reading List Source URL: www.joachim-breitner.de Language: English - Date: 2014-10-06 15:51:37 Data types Subroutines Type theory Functional programming Haskell Literate programming Glasgow Haskell Compiler Pointer Closure Software engineering Computing Computer programming
409	Parallel and Concurrent Programming in Haskell version 1.2 Simon Marlow Microsoft Research Ltd., Cambridge, U.K. Add to Reading List Source URL: community.haskell.org Language: English - Date: 2012-05-11 11:31:34 Functional programming Monad Haskell Glasgow Haskell Compiler Parallel computing Concurrent computing Parallel programming model Futures and promises Concurrency Computing Software engineering Computer programming
410	Draft submitted for publication at ICFPSafe Zero-cost Coercions for Haskell Joachim Breitner Richard A. Eisenberg Add to Reading List Source URL: research.microsoft.com Language: English - Date: 2014-07-21 09:41:27 Data types Type theory ALGOL 68 Type system Symbol Orbifold Programming language theory Software engineering Computing

UPDATE