<--- Back to Details
First PageDocument Content
Software engineering / Type theory / Object-oriented programming / Computing / Computer programming / Data types / Polymorphism / Functional programming / Covariance and contravariance / Subtyping / Generalized algebraic data type / Variance
Date: 2013-08-04 23:16:28
Software engineering
Type theory
Object-oriented programming
Computing
Computer programming
Data types
Polymorphism
Functional programming
Covariance and contravariance
Subtyping
Generalized algebraic data type
Variance

On variance, injectivity, and abstraction Jacques Garrigue 1 Introduction

Add to Reading List

Source URL: www.math.nagoya-u.ac.jp

Download Document from Source Website

File Size: 39,07 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