Searching for "Guarded recursive datatype constructors." – sorted by Relevance.
5 documents found, showing 1 through 5.
-
Guarded Recursive Datatype Constructors
- …ABSTRACT Guarded Recursive Datatype Constructors Hongwei Xi ∗ Chiyan Chen ∗ Gang Chen † We…
- Cited by 92 (9 self) – Add To MetaCart
-
Constraint-Based Type Inference for Guarded Algebraic Data Types
- … the concepts known in the literature as indexed types, guarded recursive datatype constructors, and phantom…
- Cited by 21 (2 self) – Add To MetaCart
-
Unifying Object-Oriented Programming with Typed Functional Programming
- … of guarded recursive datatype constructors [19] can be combined with dependent types to enable…
- Cited by 2 (1 self) – Add To MetaCart
-
GADTs + Extensible Kinds = Dependent Programming A Programming Pearl for the 21st Century
- … Recursive Datatype Constructors[42], Inductive Families[8, 11], First-class phantom types[6], Wobbly types…
- Add To MetaCart
-
A Typeful Approach to Object-Oriented Programming with Multiple Inheritance
- …. Let MSG be a guarded recursive datatype constructor that takes a type τ to form a message type MSG…
- Cited by 4 (3 self) – Add To MetaCart
Showing 1 through 5.
