Generalized algebraic data type
Semantic Scholar uses AI to extract papers important to this topic.
The introduction of generalized algebraic data types (GADTs) makes it syntactically possible to constrain type parameters for the… (More)
The Krivine-style evaluation mechanism is well-known in the implementation of higher-order functions, allowing to avoid some… (More)
Advanced type system features, such as GADTs, type classes, and type families have have proven to be invaluable language… (More)
In the GADT (Generalized Algebraic Data Types) type system, a pattern-matching branch can draw type information from both the… (More)
Stratified type inference for generalized algebraic data types.
Generic types in C behave invariantly with respect to subtyping. We propose a system of type-safe variance for C that supports… (More)
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)
Generalized algebraic data types (GADTs) have received much attention recently in the functional programming community. They… (More)
A limited form of dependent types, called Generalized Algebraic Data Types (GADTs), has recently been added to the list of… (More)