Haskell - PDFSEARCH.IO - Document Search Engine

Haskell
Results: 1146

#	Item
581	True Sums of Products Workshop on Generic Programming 2014 Edsko de Vries, Andres Löh 31 August 2014 Add to Reading List Source URL: kosmikus.org Language: English - Date: 2014-09-01 09:38:41 Type theory Data types Generic programming Lambda calculus Logic in computer science Type system Combinatory logic C Haskell Software engineering Programming language theory Computing
582	1 RESUMEN DE FUNCIONES PREDEFINIDAS DE HASKELL 1. Add to Reading List Source URL: www.cs.us.es Language: Spanish - Date: 2013-05-15 02:16:10
583	Typesetting Haskell and more with lhs2TeX ¨ Andres Loh Universiteit Utrecht [removed] Add to Reading List Source URL: kosmikus.org Language: English - Date: 2011-11-25 05:39:14 Computer programming Map Haskell Fold Grave accent Haskell 98 features Software engineering Computing Higher-order functions
584	Notes on Functional Programming with Haskell H. Conrad Cunningham [removed] Multiparadigm Software Architecture Group Add to Reading List Source URL: www.cs.olemiss.edu Language: English - Date: 2014-11-10 22:48:40 Functional programming Functional languages Literate programming Data types Type theory Haskell Hugs Philip Wadler Pattern matching Software engineering Computing Computer programming
585	Type-Safe Observable Sharing in Haskell Andy Gill The University of Kansas September 3, 2009 Add to Reading List Source URL: www.ittc.ku.edu Language: English - Date: 2010-05-31 11:34:42 Mathematics Logic Binary arithmetic Exclusive or Propositional calculus Boolean data type Parity bit ALGOL 68 Boolean algebra Abstract algebra Computing
586	Data Structures II Advanced Functional Programming ¨ ([removed]) Andres Loh Universiteit Utrecht Add to Reading List Source URL: kosmikus.org Language: English - Date: 2011-11-25 05:39:14 Abstract data types Data types C++ Standard Library Double-ended queue Sequence container Primitive types Haskell Queue Tagged union Computing Software engineering Computer programming
587	lhs2TEX Andres L¨ oh Dutch HUG meeting – October 12, 2009 Add to Reading List Source URL: kosmikus.org Language: English - Date: 2011-11-25 05:39:14 Higher-order functions Functional languages Donald Knuth Haskell Literate programming Fold Map C Preprocessor Software engineering Computing Computer programming
588	Trinity Andres L¨ oh joint work with Ralf Hinze Utrecht University Add to Reading List Source URL: kosmikus.org Language: English - Date: 2011-11-25 05:39:14 Functional languages Programming paradigms Generic programming Haskell ML Caml Functional programming Imperative programming Programming language Software engineering Computing Computer programming
589	Haskell for (E)DSLs Andres Löh Well-Typed LLP Functional Programming eXchange, 16 March 2012 Add to Reading List Source URL: kosmikus.org Language: English - Date: 2012-03-16 13:23:30 Functional languages Domain-specific language Haskell Type system C Software engineering Computing Programming language theory
590	Generic Haskell Andres Löh Universiteit Utrecht [removed] 24th November 2003 Add to Reading List Source URL: kosmikus.org Language: English - Date: 2011-11-25 05:39:14 Programming language theory Haskell Generic programming Type system Pattern matching Haskell 98 features Generalized algebraic data type Software engineering Computing Functional languages

UPDATE