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)

Related topics

Related topics

24 relations
Abstract data typeAlgebraic data typeCoq (software)Darcs

Broader (2)

Functional programmingType theory

Papers overview

Semantic Scholar uses AI to extract papers important to this topic.
2016
2016
Context-Dependent Type Error Diagnosis for Functional Languages
Customizable type error diagnosis has been proposed as a solution to achieve domain-specific type error diagnosis for embedded… 
2014
2014
DOMain Specific Type Error Diagnosis (DOMSTED)
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
Types and Type Families for Hardware Simulation and Synthesis - The Internals and Externals of Kansas Lava
In this paper, we overview the design and implementation of our latest version of Kansas Lava. Driven by needs and experiences of… 
2006
2006
Towards Efficient, Typed LR Parsers
2006
2006
Geometry calibration phantom design for 3D imaging
  • B. Claus
  • SPIE Medical Imaging
  • 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
Beam Optimization for Digital Mammography - II
Optimization of acquisition technique factors (target, filter, and kVp) in digital mammography is required for maximization of… 
2004
2004
A Systematic Translation of Guarded Recursive Data Typesto Existential Types
Guarded recursive data types (GRDTs) are a new language feature which allows to type check the different branches of case… 
2003
2003
Generating an Efficient Dynamics Multicast Tree under Grid Environment
The use of an efficient multicast tree can substantially speed up many communication-intensive MPI applications. This is even… 
1995
1995
The IDT system and its application for learning Prolog programs
The basic concept of IDT is very similar to GADT (Generalized Algorithmic Debugging and Testing) presented in [FGK91]. In GADT… 
1959
1959
On GAT and the construction of translators
The Generalized Algebraic Translator (GAT) was written at the University of Michigan Statistical and Computing Laboratory for a… 
By clicking accept or continuing to use the site, you agree to the terms outlined in our Privacy Policy (opens in a new tab), Terms of Service (opens in a new tab), and Dataset License (opens in a new tab)