In functional programming, a generalized algebraic data type (GADT, also first-class phantom type, guarded recursive datatype, or equality-qualifiedâ€¦Â (More)

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)

Is this relevant?

2017

2011

2011

- Kwanghoon Choi, Seog Park
- IEICE Transactions
- 2011

The Krivine-style evaluation mechanism is well-known in the implementation of higher-order functions, allowing to avoid someâ€¦Â (More)

Is this relevant?

Highly Cited

2011

Highly Cited

2011

- Dimitrios Vytiniotis, Simon L. Peyton Jones, Tom Schrijvers, Martin Sulzmann
- J. Funct. Program.
- 2011

Advanced type system features, such as GADTs, type classes, and type families have have proven to be invaluable languageâ€¦Â (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?

2006

2006

- FranÃ§ois Pottier, Yann RÃ©gis-Gianas
- POPL
- 2006

Stratified type inference for generalized algebraic data types.Â

Is this relevant?

2006

2006

- Burak Emir, Andrew Kennedy, Claudio V. Russo, Dachuan Yu
- ECOOP
- 2006

Generic types in C behave invariantly with respect to subtyping. We propose a system of type-safe variance for C that supportsâ€¦Â (More)

Is this relevant?

2006

2006

- Martin Sulzmann, Jeremy Wazny, Peter J. Stuckey
- FLOPS
- 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

- Andrew Kennedy, Claudio V. Russo
- OOPSLA
- 2005

Generalized algebraic data types (GADTs) have received much attention recently in the functional programming community. Theyâ€¦Â (More)

Is this relevant?

2005

2005

- Henrik Nilsson
- ICFP
- 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?