Skip to search form
Skip to main content
Skip to account menu
Semantic Scholar
Semantic Scholar's Logo
Search 238,060,751 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.
2015
2015
NEW EXACT SOLUTIONS OF SOME NONLINEAR SYSTEMS OF PARTIAL DIFFERENTIAL EQUATIONS USING MODIFIED EXTENDED DIRECT ALGEBRAIC METHOD
A. Shehata
,
E. M. Kamal
,
H. Kareem
2015
Corpus ID: 55459067
The modified extended direct algebraic method (MEDA) is a powerful solution method for obtaining new exact complex solutions of…
Expand
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
2012
2012
Compactifying Spec Z
S. Takagi
2012
Corpus ID: 118342674
In this paper, we introduce a new algebraic type of `convexoid rings', and we give the definition of (weak) convexoid schemes…
Expand
2011
2011
Implementation of the Spur Involute Gear Model on Modelica
Ivan 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
1999
1999
The application of generalised constraints to object-oriented database models
G. de Tré
,
Rita M. M. De Caluwe
EUSFLAT-ESTYLF Joint Conf.
1999
Corpus ID: 32304085
The ODMG de facto standard data model o ers new promising perspectives However it still suf fers from several shortcomings such…
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
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