Haskell - PDFSEARCH.IO - Document Search Engine

Haskell
Results: 1146

#	Item
591	Generic Haskell — From Types to Programs ¨ and many others Dave Clarke, Johan Jeuring, Andres Loh Generic Haskell is an extension to the Haskell programming language that supports generic programming. Many problems ha Add to Reading List Source URL: kosmikus.org Language: English - Date: 2011-11-25 05:39:14 Data types Type theory Generic programming Functional programming Haskell PCDATA C Lambda calculus XML Computing Software engineering Computer programming
592	Generic Programming in Haskell ¨ Andres Loh 8th May 2003 Add to Reading List Source URL: kosmikus.org Language: English - Date: 2011-11-25 05:39:14 Functional programming Data types Parametricity Generic programming Functional languages Type class Polymorphism Id Theorem Software engineering Type theory Computing
593	Datatype-Generic Programming in Haskell Andres Löh (thanks to José Pedro Magalhães, Simon Peyton Jones and many others) Skills Matter “In the Brain” – 9 April 2013 Copyright © 2013 Well-Typed LLP Add to Reading List Source URL: kosmikus.org Language: English - Date: 2013-04-10 05:28:11 Type theory Data types Generic programming Haskell Type system Type class Enumerated type C Glasgow Haskell Compiler Software engineering Programming language theory Computing
594	Expanding the Universe Andres Löh with lots of inspiration from José Pedro Magalhães and Conor McBride 23 May 2011 Add to Reading List Source URL: kosmikus.org Language: English - Date: 2011-11-25 05:39:14 Functional languages Type theory Generic programming Data types Functional programming Agda Haskell Type class Dependent type Software engineering Computing Computer programming
595	Recovering explicit recursion in Generic Haskell ¨ Andres Loh 16. Oktober 2002 Add to Reading List Source URL: kosmikus.org Language: English - Date: 2011-11-25 05:39:14
596	[Faculty of Science Information and Computing Sciences] Generic programming with fixed points for mutually recursive datatypes Andres L¨oh Add to Reading List Source URL: kosmikus.org Language: English - Date: 2011-11-25 05:39:15 Higher-order functions Functional programming Recursion Functional languages Generic programming Map Catamorphism Expr Haskell Software engineering Computing Declarative programming
597	Datatype-generic Programming in Haskell An introduction ¨ Andres Loh Well-Typed LLP Add to Reading List Source URL: kosmikus.org Language: English - Date: 2011-11-25 05:39:14
598	The Parallel GHC Project Parallel functional programming for the real world ¨ Andres Loh Well-Typed LLP Add to Reading List Source URL: kosmikus.org Language: English - Date: 2011-11-25 05:39:14 Functional languages Haskell Literate programming Yi Parallel computing C Id Yhc Computing Software engineering Software
599	Generic Storage in Haskell WGP 2010 Sebastiaan Visser and Andres L¨ oh Utrecht University Add to Reading List Source URL: kosmikus.org Language: English - Date: 2011-11-25 05:39:15 Computer programming Map Tree Persistent data structure Binary trees Binary search tree Corecursion Computing Software engineering Data structures
600	Dependency-style Generic Haskell ¨ Dave Clarke, Johan Jeuring Andres Loh, Universiteit Utrecht [removed] Add to Reading List Source URL: kosmikus.org Language: English - Date: 2011-11-25 05:39:14 Generic programming Type theory Functional programming Data types Parameter Type class Haskell Conditional Generic function Software engineering Computing Computer programming

UPDATE