Skip to search form
Skip to main content
Skip to account menu
Semantic Scholar
Semantic Scholar's Logo
Search 228,398,464 papers from all fields of science
Search
Sign In
Create Free Account
Generalized algebraic data type
Known as:
First-class phantom types
, Equality qualified type
, First class phantom type
Expand
In functional programming, a generalized algebraic data type (GADT, also first-class phantom type, guarded recursive datatype, or equality-qualified…
Expand
Wikipedia
(opens in a new tab)
Create Alert
Alert
Related topics
Related topics
24 relations
Abstract data type
Algebraic data type
Coq (software)
Darcs
Expand
Broader (2)
Functional programming
Type theory
Papers overview
Semantic Scholar uses AI to extract papers important to this topic.
2016
2016
Context-Dependent Type Error Diagnosis for Functional Languages
A. S. Mena
,
Jurriaan Hage
2016
Corpus ID: 11978538
Customizable type error diagnosis has been proposed as a solution to achieve domain-specific type error diagnosis for embedded…
Expand
2014
2014
DOMain Specific Type Error Diagnosis (DOMSTED)
Jurriaan Hage
2014
Corpus ID: 16333996
Domain-specic languages (DSLs) have the potential both to reduce the eort of programming, and to result in programs that are…
Expand
Review
2010
Review
2010
Types and Type Families for Hardware Simulation and Synthesis - The Internals and Externals of Kansas Lava
Andy Gill
,
Tristan Bull
,
Andrew Farmer
,
Garrin Kimmell
,
E. Komp
Symposium on Trends in Functional Programming
2010
Corpus ID: 17387958
In this paper, we overview the design and implementation of our latest version of Kansas Lava. Driven by needs and experiences of…
Expand
2006
2006
Towards Efficient, Typed LR Parsers
F. Pottier
,
Y. Régis-Gianas
ML Workshop
2006
Corpus ID: 6429261
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…
Expand
2006
2006
Beam Optimization for Digital Mammography - II
Mark B. Williams
,
P. Raghunathan
,
+7 authors
A. Bloomquist
Digital Mammography / IWDM
2006
Corpus ID: 37361116
Optimization of acquisition technique factors (target, filter, and kVp) in digital mammography is required for maximization of…
Expand
2004
2004
A Systematic Translation of Guarded Recursive Data Typesto Existential Types
Martin Sulzmann
,
Meng Wang
2004
Corpus ID: 13488287
Guarded recursive data types (GRDTs) are a new language feature which allows to type check the different branches of case…
Expand
2003
2003
Generating an Efficient Dynamics Multicast Tree under Grid Environment
T. Vorakosit
,
P. Uthayopas
PVM/MPI
2003
Corpus ID: 10063597
The use of an efficient multicast tree can substantially speed up many communication-intensive MPI applications. This is even…
Expand
1995
1995
The IDT system and its application for learning Prolog programs
G. Kókai
,
Zoltán Alexin
,
Ferenc Kocsis
1995
Corpus ID: 63564348
The basic concept of IDT is very similar to GADT (Generalized Algorithmic Debugging and Testing) presented in [FGK91]. In GADT…
Expand
1959
1959
On GAT and the construction of translators
B. Arden
,
R. M. Graham
CACM
1959
Corpus ID: 6703069
The Generalized Algebraic Translator (GAT) was written at the University of Michigan Statistical and Computing Laboratory for a…
Expand
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)
ACCEPT & CONTINUE