<--- Back to Details
First PageDocument Content
Type theory / Functional programming / Data types / Functional languages / Subroutines / Algebraic data type / Pattern matching / Monad / Type system / Software engineering / Computing / Computer programming
Date: 2009-05-26 12:01:31
Type theory
Functional programming
Data types
Functional languages
Subroutines
Algebraic data type
Pattern matching
Monad
Type system
Software engineering
Computing
Computer programming

Haskell Cheat Sheet Enumerations Strings

Add to Reading List

Source URL: www.cheat-sheets.org

Download Document from Source Website

File Size: 157,15 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 / Computer programming / Functional programming / Theoretical computer science / Data types / Type theory / Computability theory / Lambda calculus / Recursion / Algebraic data type / Anonymous function

PLDI: U: Type Assisted Synthesis of Recursive Transformers on Algebraic Datatypes Jeevana Priya Inala MIT Advisor: Armando Solar-Lezama

DocID: 1rduU - 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

Mathematics / Data / Computing / Cartography / Geographic data and information / Formal methods / Geographic information systems / Algebra / Abstract data type / Spatial analysis / Algebraic specification / Addition

Algebraic Optimization of Combined Overlay Operations* Claus Dorenbeckt Max J. Egenhofer* National Center for Geographic Information and Analysis University of Maine

DocID: 1qhqk - View Document

Software engineering / Declarative programming / Computer programming / Functional programming / Theoretical computer science / Data types / Type theory / Computability theory / Lambda calculus / Recursion / Algebraic data type / Anonymous function

PLDI: U: Type Assisted Synthesis of Recursive Transformers on Algebraic Datatypes Jeevana Priya Inala MIT Advisor: Armando Solar-Lezama

DocID: 1pYnx - View Document