Skip to search form
Skip to main content
Skip to account menu
Semantic Scholar
Semantic Scholar's Logo
Search 236,790,389 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
2011
2011
Implementation of the Spur Involute Gear Model on Modelica
I. Kosenko
,
I. Gusev
2011
Corpus ID: 18479322
A procedure to build up a dynamical model of the gearbox with spur involute mesh is being described. The main attention is paid…
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
2008
2008
A Size-Aware Type System with Algebraic Data Types
A. Tamalet
,
O. Shkaravska
,
M. V. Eekelen
2008
Corpus ID: 3043052
PCT No. PCT/EP87/00487 Sec. 371 Date Jun. 27, 1988 Sec. 102(e) Date Jun. 27, 1988 PCT Filed Aug. 27, 1987 PCT Pub. No. WO88/02049…
Expand
Review
2002
Review
2002
Linearization in muCRL
Y. S. Usenko
2002
Corpus ID: 61704954
• A submitted manuscript is the version of the article upon submission and before peer-review. There can be important differences…
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