Algebraic data type

Known as: Algebraic types, Algebraic datatypes, Algebraic type 
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)
Wikipedia

Topic mentions per year

Topic mentions per year

1978-2018
010203019782018

Papers overview

Semantic Scholar uses AI to extract papers important to this topic.
2012
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)
  • table 1
Is this relevant?
2010
2010
In the GADT (Generalized Algebraic Data Types) type system, a pattern-matching branch can draw type information from both the… (More)
  • figure 1
Is this relevant?
Highly Cited
2010
Highly Cited
2010
We describe a family of decision procedures that extend the decision procedure for quantifier-free constraints on recursive… (More)
  • figure 2
  • figure 4
  • figure 3
  • figure 9
  • figure 8
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)
  • figure 1
  • figure 2
  • figure 3
Is this relevant?
2006
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
Stratified type inference for generalized algebraic data types. 
  • figure 1
  • figure 2
  • figure 3
  • figure 5
  • figure 6
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)
  • figure 1
  • figure 3
  • figure 2
  • figure 4
  • figure 5
Is this relevant?
2003
2003
Guarded algebraic data types subsume the concepts known in the literature as indexed types, guarded recursive datatype… (More)
  • figure 8
Is this relevant?
1997
1997
We describe how binding-time, data-flow, and strictness analyses for languages with higher-order functions and algebraic data… (More)
  • figure 1
  • figure 6
Is this relevant?
1979
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?