Skip to search formSkip to main contentSkip to account menu

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… 
Wikipedia (opens in a new tab)

Papers overview

Semantic Scholar uses AI to extract papers important to this topic.
2016
2016
Customizable type error diagnosis has been proposed as a solution to achieve domain-specific type error diagnosis for embedded… 
2014
2014
Domain-specic languages (DSLs) have the potential both to reduce the eort of programming, and to result in programs that are… 
Review
2010
Review
2010
In this paper, we overview the design and implementation of our latest version of Kansas Lava. Driven by needs and experiences of… 
2006
2006
  • B. Claus
  • 2006
  • Corpus ID: 8853512
Most approaches to 3D x-ray imaging geometry calibration use some well-defined calibration phantom containing point markers. The… 
2006
2006
Optimization of acquisition technique factors (target, filter, and kVp) in digital mammography is required for maximization of… 
2004
2004
Guarded recursive data types (GRDTs) are a new language feature which allows to type check the different branches of case… 
2003
2003
The use of an efficient multicast tree can substantially speed up many communication-intensive MPI applications. This is even… 
1995
1995
The basic concept of IDT is very similar to GADT (Generalized Algorithmic Debugging and Testing) presented in [FGK91]. In GADT… 
1959
1959
The Generalized Algebraic Translator (GAT) was written at the University of Michigan Statistical and Computing Laboratory for a…