<--- Back to Details
First PageDocument Content
Software engineering / Generalized algebraic data type / Type system / Type inference / Entailment / Type safety / Natural deduction / Symbol / Type theory / Logic / Programming language theory
Date: 2005-12-29 03:26:05
Software engineering
Generalized algebraic data type
Type system
Type inference
Entailment
Type safety
Natural deduction
Symbol
Type theory
Logic
Programming language theory

Add to Reading List

Source URL: research.microsoft.com

Download Document from Source Website

File Size: 535,61 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