<--- Back to Details
First PageDocument Content
Computing / Type system / Generalized algebraic data type / System F / Type inference / Lambda calculus / ML / Programming language / Subtype polymorphism / Type theory / Software engineering / Programming language theory
Date: 2012-12-10 15:02:11
Computing
Type system
Generalized algebraic data type
System F
Type inference
Lambda calculus
ML
Programming language
Subtype polymorphism
Type theory
Software engineering
Programming language theory

Add to Reading List

Source URL: gallium.inria.fr

Download Document from Source Website

File Size: 487,23 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