<--- Back to Details
First PageDocument Content
Data types / Functional programming / Programming language comparisons / Procedural programming languages / Cons / Lisp / List / Relational operator / Map / ALGOL 68 / Generalized algebraic data type
Date: 2013-10-12 04:58:09
Data types
Functional programming
Programming language comparisons
Procedural programming languages
Cons
Lisp
List
Relational operator
Map
ALGOL 68
Generalized algebraic data type

Deriving Generic Functions by Example

Add to Reading List

Source URL: community.haskell.org

Download Document from Source Website

File Size: 96,77 KB

Share Document on Facebook

Similar Documents

Software engineering / Computer programming / Declarative programming / Functional languages / Functional programming / Data types / Type theory / Compilers / Template Haskell / Haskell / Generalized algebraic data type / Metaprogramming

DSLs in Haskell Ryan Newton Back-end

DocID: 1ru0C - View Document

Software engineering / Declarative programming / Computing / Data types / Functional languages / Type theory / Functional programming / Generic programming / Dependently typed programming / Generalized algebraic data type / ATS / Haskell

Comparing Datatype Generic Libraries in Haskell Alexey Rodriguez Yakushev Johan Jeuring Patrik Jansson Alex Gerdes

DocID: 1qy7b - View Document

Type theory / Data types / Functional programming / Dependently typed programming / Generalized algebraic data type / Type class / Valuation

System FC with Explicit Kind Equality (Extended Version) Stephanie Weirich Justin Hsu Richard A. Eisenberg

DocID: 1pJ91 - View Document

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

Visible Type Application Richard A. Eisenberg, Stephanie Weirich, and Hamidhasan G. Ahmed University of Pennsylvania {eir,sweirich}@cis.upenn.edu

DocID: 1pANf - View Document

Convex analysis / Mathematical optimization / Convex optimization / Operations research / Variational analysis / Subgradient method / Subderivative / Ellipsoid method / Convex function / Generalized algebraic data type / Convex set / Map

HVX: Disciplined Convex Programming and Symbolic Subdifferentiation in Haskell Chris Copeland 1

DocID: 1pqhm - View Document