<--- Back to Details
First PageDocument Content
Object-oriented programming / Data types / Type theory / Subroutines / Functional programming / Type system / Python / Foreach loop / Tagged union / Software engineering / Computing / Computer programming
Date: 2011-05-19 07:49:35
Object-oriented programming
Data types
Type theory
Subroutines
Functional programming
Type system
Python
Foreach loop
Tagged union
Software engineering
Computing
Computer programming

Contents Algebraic ABCs Summary

Add to Reading List

Source URL: www.acooke.org

Download Document from Source Website

File Size: 198,90 KB

Share Document on Facebook

Similar Documents

Functional languages / Data types / Object-oriented programming languages / C++ / Procedural programming languages / OCaml / Caml / Const / Tagged union / Higher-order function / C++ classes / ALGOL 68

Programovací jazyky F# a OCaml Chapter 3. Composing primitive types into data Data types

DocID: 1p68M - View Document

Data types / Type theory / Type system / Subtyping / Union type / Tagged union / Pattern matching / Monad / ML / Product type / Type conversion / Record

Union Types for Semistructured Data Peter Buneman Benjamin Pierce University of Pennsylvania

DocID: 1oU2n - View Document

Software engineering / Computer programming / Programming language theory / Type theory / Data types / Functional languages / Functional programming / Procedural programming languages / Standard ML / Algebraic data type / Tagged union / Unification

1 Typing deep pattern-matching in presence of polymorphic variants Jacques Garrigue† Polymorphic variants are a well-known feature of the Objective Caml programming language, and they have turned popular since their i

DocID: 1maki - View Document

C++ / C++ classes / C++11 / Template / Generic programming / Struct / Functional / Union / Variadic template / Software engineering / Computing / Computer programming

Generating member functions and operators by tagged fields in a C++ Zal´an Sz˝ugyi Gergely Kl´ar

DocID: 18rMN - View Document

Data types / Type theory / Functional programming / Glasgow Haskell Compiler / Generic programming / Map / Tagged union / Monad / Software engineering / Computing / Computer programming

A Generic Deriving Mechanism for Haskell Jos´e Pedro Magalh˜aes1 Atze Dijkstra1 Johan Jeuring1,2

DocID: 13wFC - View Document