Haskell - PDFSEARCH.IO - Document Search Engine

Haskell
Results: 1146

#	Item
561	Attribute Grammars in Haskell with UUAG ¨ Andres Loh joint work with S. Doaitse Swierstra and Arthur Baars [removed] Add to Reading List Source URL: kosmikus.org Language: English - Date: 2011-11-25 05:39:13 Data types Formal languages Functional programming Type theory Parsing Algebraic data type Attribute grammar Haskell C++ classes Software engineering Computing Computer programming
562	Parallelizing Maximal Clique Enumeration in Haskell Andres Löh (joint work with Toni Cebrián) Well-Typed LLP Add to Reading List Source URL: kosmikus.org Language: English - Date: 2012-02-07 07:43:58 Haskell Literate programming Parallel computing Los Alamos National Laboratory Algorithm New Mexico Computing Software engineering
563	Implementing Dependent Types in Haskell Andres L¨ oh1 joint work with Conor McBride2 and Wouter Swierstra2 1 Universiteit 2 University Add to Reading List Source URL: kosmikus.org Language: English - Date: 2011-11-25 05:39:14 Computer science Programming language theory Theory of computation Logic in computer science Models of computation System F Typed lambda calculus Simply typed lambda calculus Type system Theoretical computer science Lambda calculus Type theory
564	Notes on Functional Programming with Haskell H. Conrad Cunningham [removed] Software Architecture Research Group Add to Reading List Source URL: john.cs.olemiss.edu Language: English - Date: 2010-08-24 08:19:10 Functional languages Literate programming Functional programming Haskell Hugs Philip Wadler Gofer Pattern matching Type class Software engineering Computing Computer programming
565	http://oac.cdlib.org/findaid/ark:/13030/kt5h4nf5m1 No online items Guide to the Charles Haskell Danforth Correspondence with Dr. Mary Elbert Rawles Daniel Hartwig Add to Reading List Source URL: pdf.oac.cdlib.org Language: English - Date: 2015-01-27 23:56:28 Programming language theory Computing Software engineering Haskell Literate programming
566	Datatype-generic Programming in Haskell An introduction Andres Löh Well-Typed LLP 23 January 2012 Add to Reading List Source URL: kosmikus.org Language: English - Date: 2012-01-27 05:29:58 Microsoft Office SYmbolic LinK
567	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 Higher-order functions Map Haskell Fold Comment Haskell 98 features Software engineering Computing Computer programming
568	Generalizing Generic Functions ¨ Andres Loh 7 July 2004 Motivation Add to Reading List Source URL: kosmikus.org Language: English - Date: 2011-11-25 05:39:14 Type theory Data types Functional programming Functional languages Subroutines Type system Type class Parameter Haskell Software engineering Computing Computer programming
569	Explicit Recursion in Generic Haskell ¨ Andres Loh Universiteit Utrecht [removed] Add to Reading List Source URL: kosmikus.org Language: English - Date: 2011-11-25 05:39:13 Computer programming Haskell Generic programming Software engineering Computing
570	[Faculty of Science Information and Computing Sciences] Terminating combinator parsers in Agda Andres L¨oh based on work by Nils Anders Danielsson and Ulf Norell Add to Reading List Source URL: kosmikus.org Language: English - Date: 2011-11-25 05:39:14 Computing Haskell Agda Function Factorial Combinatory logic Haskell 98 features Mathematics Software engineering Functional languages

UPDATE