In computer programming, more so functional programming and type theory, an algebraic data type is a kind of composite type, i.e., a type formed by… (More)

Semantic Scholar uses AI to extract papers important to this topic.

2012

2012

- Pieter H. Hartel, Henk L. Muller
- Softw., Pract. Exper.
- 2012

ADT is a simple tool in the spirit of Lex and Yacc that makes algebraic data types and a restricted form of pattern matching on… (More)

Is this relevant?

2010

2010

- Chuan-kai Lin, Tim Sheard
- TLDI
- 2010

In the GADT (Generalized Algebraic Data Types) type system, a pattern-matching branch can draw type information from both the… (More)

Is this relevant?

Highly Cited

2010

Highly Cited

2010

- Philippe Suter, Mirco Dotta, Viktor Kuncak
- POPL
- 2010

We describe a family of decision procedures that extend the decision procedure for quantifier-free constraints on recursive… (More)

Is this relevant?

Highly Cited

2007

Highly Cited

2007

We introduce System F<inf>C</inf>, which extends System F with support for non-syntactic type equality. There are two main… (More)

Is this relevant?

2006

2006

- Tom Schrijvers, Maurice Bruynooghe
- PPDP
- 2006

One of the disadvantages of statically typed languages is the programming overhead caused by writing all the necessary type… (More)

Is this relevant?

2006

2006

- François Pottier, Yann Régis-Gianas
- POPL
- 2006

Stratified type inference for generalized algebraic data types.

Is this relevant?

2004

2004

Generalised algebraic data types (GADTs), sometimes known as “guarded recursive data types” or “first-class phantom types”, are a… (More)

Is this relevant?

2003

2003

- Vincent Simonet
- 2003

Guarded algebraic data types subsume the concepts known in the literature as indexed types, guarded recursive datatype… (More)

Is this relevant?

1997

1997

- Thomas P. Jensen
- ACM Trans. Program. Lang. Syst.
- 1997

We describe how binding-time, data-flow, and strictness analyses for languages with higher-order functions and algebraic data… (More)

Is this relevant?

1979

1979

- Sam Kamin
- SIGP
- 1979

This note is a contribution to the discussion of " algebraic data typ e specification s " which was initiated in these pages by… (More)

Is this relevant?