Skip to search form
Skip to main content
Skip to account menu
Semantic Scholar
Semantic Scholar's Logo
Search 234,974,645 papers from all fields of science
Search
Sign In
Create Free Account
Algebraic data type
Known as:
Algebraic data types
, Algebraic datatype
, Algebraic
Expand
In computer programming, more so functional programming and type theory, an algebraic data type is a kind of composite type, i.e., a type formed by…
Expand
Wikipedia
(opens in a new tab)
Create Alert
Alert
Related topics
Related topics
48 relations
Abstract syntax
Anamorphism
Binary tree
Catamorphism
Expand
Broader (2)
Functional programming
Type theory
Papers overview
Semantic Scholar uses AI to extract papers important to this topic.
2013
2013
Higher-order Program Verification as Satisfiability Modulo Theories with Algebraic Data-types
Nikolaj S. Bjørner
,
K. McMillan
,
A. Rybalchenko
arXiv.org
2013
Corpus ID: 17974167
We report on work in progress on automatic procedures for proving properties of programs written in higher-order functional…
Expand
Review
2009
Review
2009
JINC: a multi-threaded library for higher-order weighted decision diagram manipulation
J. Ossowski
2009
Corpus ID: 9425948
Ordered Binary Decision Diagrams (OBDDs) have been proven to be an efficient data structure for symbolic algorithms. The…
Expand
2004
2004
Typing deep pattern-matching in presence of polymorphic variants
Jacques Garrigue
2004
Corpus ID: 14460523
Polymorphic variants are a well-known feature of the Objective Caml programming language, and they have turned popular since…
Expand
2001
2001
Plagioclase replacement textures in partially eclogitised gabbros from the Sanddal ma ® c-ultrama ® c complex , Greenland
H. M. Lang
,
J. Gilotti
2001
Corpus ID: 28154058
The Sanddal ma®c-ultrama®c complex (SMUK) is a cluster of variably eclogitised ma®c and ultrama®c bodies that comprise the…
Expand
1999
1999
Object-Relational Queries into Multidimensional Databases with the Active Data Repository
R. Ferreira
,
T. Kurç
,
M. Beynon
,
Chialin Chang
,
A. Sussman
,
J. Saltz
Parallel Processing Letters
1999
Corpus ID: 8538143
As computational power and storage capacity increase, processing and analyzing large volumes of multi-dimensional datasets play…
Expand
1997
1997
Combining Closure Conversion with Closure Analysis using Algebraic Types
A. Tolmach
1997
Corpus ID: 14745465
,
1994
1994
Abstract interpretation over algebraic data types
T. Jensen
International Conference on Computational…
1994
Corpus ID: 35878485
This paper is concerned with the static analysis of programs over recursive data structures such as lists and trees. In…
Expand
1984
1984
AN ALGEBRAIC CLASSIFICATION OF SOME EVEN-DIMENSIONAL SPHERICAL KNOTS. I
M. Farber
1984
Corpus ID: 53967970
The main result of the paper is the classification of simple even-dimen- sional spherical knots in terms of their algebraic…
Expand
1982
1982
On the Algebraic Specification of Databases
W. Dosch
,
G. Mascari
,
M. Wirsing
Very Large Data Bases Conference
1982
Corpus ID: 18582902
manticl data models which often is For the conceptual level of database schemes a abstractions, static and dynamic constraints…
Expand
1977
1977
Josephson nonlatching logic circuits
H. Chan
,
T. Duzer
1977
Corpus ID: 62093858
The authors describe nonlatching logic circuits that can be designed using Josephson junctions as the switching elements. The…
Expand