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… 
Review
2010
Review
2010
Implementing and Optimizing a Simple, Dependently-Typed Language
This thesis presents a compiler for the simple functional programming language LambdaPi, which includes dependent types. The… 
2009
2009
Efficient Encoding of a Class of Maximum-Transition-Run and PRML Codes ( Updated version of March 24 , 2009 )
A large class of maximum-transition-run (MTR) block codes is presented that is based on a novel lowcomplexity enumerative… 
2006
2006
Towards Efficient, Typed LR Parsers
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… 
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… 
1967
1967
On generalized nonuniform lines
Two simple theorems for generalizing any known nonuniform transmission line problem are stated and proved. The matrix parameters… 
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)