Haskell - PDFSEARCH.IO - Document Search Engine

Haskell
Results: 1146

#	Item
191	First Order Haskell Neil Mitchell York University www.cs.york.ac.uk/~ndm λ Add to Reading List Source URL: community.haskell.org Language: English - Date: 2013-10-12 04:58:09 Software engineering Computer programming Declarative programming Higher-order functions Programming language comparisons Recursion Fold Oz Monad Map XS Haskell features
192	Behavior-Driven Development in Haskell a tutorial introduction Simon Hengel Wimdu GmbH Add to Reading List Source URL: www.bioinf.uni-leipzig.de Language: English - Date: 2013-05-14 07:18:32 Software engineering Computer programming Software development Functional languages Haskell Functional programming Behavior-driven development Monad FIBS Fib Subroutine Standard Performance Evaluation Corporation
193	Chapter 2 A Static Checker for Safe Pattern Matching in Haskell Neil Mitchell and Colin Runciman 2.1 Abstract: A Haskell program may fail at runtime with a pattern-match error if Add to Reading List Source URL: community.haskell.org Language: English - Date: 2013-10-12 04:58:09 Software engineering Computer programming Declarative programming Functional programming Recursion Type theory Computability theory Theoretical computer science Fold Algebraic data type Pattern matching Constraint logic programming
194	Guide2lhs2TeX (for versionRalf Hinze ¨ Informatik III, Universit¨at Bonn Institut fur ¨ Add to Reading List Source URL: www.andres-loeh.de Language: English - Date: 2015-03-03 07:36:01 Software engineering Computer programming Computing Higher-order functions Programming language comparisons Map Haskell Fold Literate programming LaTeX TeX Comment
195	Advances in Programming Languages APL12: Coursework Assignment, Review David Aspinall School of Informatics The University of Edinburgh Add to Reading List Source URL: www.inf.ed.ac.uk Language: English - Date: 2010-02-17 17:51:35 Software engineering Computing Computer programming Functional languages Object-oriented programming languages Type theory Concurrent programming languages Programming paradigms Haskell Scala Mixin Concurrent computing
196	Technische Universität Dresden Fakultät Informatik DIPLOMARBEIT Free Theorems for Sublanguages of Haskell Add to Reading List Source URL: www4.in.tum.de Language: English - Date: 2008-04-14 08:10:31 Type theory Parametricity Type class Haskell Polymorphism Map Lambda calculus Combinatory logic Kind Parametric polymorphism ML Haskell features
197	Guide2lhs2TeX (for versionRalf Hinze Computing Laboratory, University of Oxford Wolfson Building, Parks Road, Oxford, OX1 3QD, England Add to Reading List Source URL: www.andres-loeh.de Language: English - Date: 2015-03-03 07:36:01 Higher-order functions Programming language comparisons Source code Map Haskell Fold Literate programming Programming style LaTeX Comment TeX Directive
198	Haskell mit Stil Johannes Waldmann, Leipzig hal, Dezember 2006 – p.1/19 Überblick Add to Reading List Source URL: iba-cg.de Language: German - Date: 2006-12-09 08:13:02
199	Visible Type Application Richard A. Eisenberg, Stephanie Weirich, and Hamidhasan G. Ahmed University of Pennsylvania {eir,sweirich}@cis.upenn.edu Add to Reading List Source URL: www.seas.upenn.edu Language: English - Date: 2016-01-08 10:06:08 Type theory HindleyMilner type system Generalized algebraic data type Type inference Type class System F Unification Type system Glasgow Haskell Compiler Haskell Monad Principal type
200	Type-based Allocation Analysis for Co-Recursion in Lazy Functional Languages 1 2 Add to Reading List Source URL: kashmir.dcc.fc.up.pt Language: English - Date: 2015-07-24 05:23:42 Functional languages Theoretical computer science Functional programming Recursion Type theory Corecursion Lambda calculus Standard ML Lazy evaluation Stream Monad Haskell

UPDATE