Generalized algebraic data type

Known as: First-class phantom types, Equality qualified type, First class phantom type 
In functional programming, a generalized algebraic data type (GADT, also first-class phantom type, guarded recursive datatype, or equality-qualified… (More)
Wikipedia

Topic mentions per year

Topic mentions per year

2001-2017
051020012017

Papers overview

Semantic Scholar uses AI to extract papers important to this topic.
2017
2017
  • Junjie Ke
  • 2017
The introduction of generalized algebraic data types (GADTs) makes it syntactically possible to constrain type parameters for the… (More)
  • figure 2
  • figure 4
  • figure 3
  • figure 5
  • figure 8
Is this relevant?
2011
2011
The Krivine-style evaluation mechanism is well-known in the implementation of higher-order functions, allowing to avoid some… (More)
  • figure 2
  • figure 3
  • figure 4
  • figure 7
Is this relevant?
Highly Cited
2011
Highly Cited
2011
Advanced type system features, such as GADTs, type classes, and type families have have proven to be invaluable language… (More)
  • figure 1
  • figure 2
  • figure 3
  • figure 4
  • figure 5
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?
2006
2006
Stratified type inference for generalized algebraic data types. 
  • figure 1
  • figure 2
  • figure 3
  • figure 5
  • figure 6
Is this relevant?
2006
2006
Generic types in C behave invariantly with respect to subtyping. We propose a system of type-safe variance for C that supports… (More)
  • figure 6
  • figure 7
  • figure 8
Is this relevant?
2006
2006
Data Types have Existential Types data Stack a = forall s. Stack s -self (a->s->s) -push (s->s) -pop (s->a) -top (s->Bool) -empty… (More)
Is this relevant?
2005
2005
Generalized algebraic data types (GADTs) have received much attention recently in the functional programming community. They… (More)
  • figure 1
  • figure 2
  • figure 4
  • figure 3
  • figure 8
Is this relevant?
2005
2005
A limited form of dependent types, called Generalized Algebraic Data Types (GADTs), has recently been added to the list of… (More)
Is this relevant?