Skip to search formSkip to main contentSkip to account menu

Algebraic data type

Known as: Algebraic data types, Algebraic datatype, Algebraic 
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… 
Wikipedia (opens in a new tab)

Related topics

Related topics

48 relations
Abstract syntaxAnamorphismBinary treeCatamorphism

Broader (2)

Functional programmingType theory

Papers overview

Semantic Scholar uses AI to extract papers important to this topic.
2016
2016
Multiple soft fault diagnosis of DC analog CMOS circuits designed in nanometer technology
This paper is devoted to local multiple soft fault diagnosis of nonlinear DC analog CMOS circuits designed in nanometer… 
2012
2012
Formally defining and iterating infinite models
The wide adoption of MDE raises new situations where we need to manipulate very large models or even infinite model streams… 
2009
2009
Algebraic Data Types
  • B. Jay
  • 2009
  • Corpus ID: 116287150
Algebraic data types are the natural target of pattern-matching functions. When the type is parametric then the pattern-matching… 
Review
2009
Review
2009
JINC: a multi-threaded library for higher-order weighted decision diagram manipulation
Ordered Binary Decision Diagrams (OBDDs) have been proven to be an efficient data structure for symbolic algorithms. The… 
2006
2006
The Implementation of iData - A Case Study in Generic Programming
The iData Toolkit is a toolkit that allows programmers to create interactive, type-safe, dynamic web applications with state on a… 
2004
2004
A comparative study on non-linear state estimators applied to sensorless AC drives: MRAS and Kalman filter
In this paper, two different nonlinear estimators applied to sensorless AC drives, Kalman filtering techniques (EKF and UKF) and… 
2003
2003
Compiling regular patterns
Pattern matching mechanisms based on regular expressions feature in a number of recent languages for processing tree-structured… 
Review
2002
Review
2002
Linearization in muCRL
• A submitted manuscript is the version of the article upon submission and before peer-review. There can be important differences… 
1999
1999
Object-Relational Queries into Multidimensional Databases with the Active Data Repository
As computational power and storage capacity increase, processing and analyzing large volumes of multi-dimensional datasets play… 
1982
1982
On the Algebraic Specification of Databases
manticl data models which often is For the conceptual level of database schemes a abstractions, static and dynamic constraints… 
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)