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…

Papers overview

Semantic Scholar uses AI to extract papers important to this topic.

2016

This paper is devoted to local multiple soft fault diagnosis of nonlinear DC analog CMOS circuits designed in nanometer…

2012

2009

Algebraic data types are the natural target of pattern-matching functions. When the type is parametric then the pattern-matching…

2009

A d-dimensional spacetime is ‘axisymmetric’ if it possesses an SO(d − 2) isometry group whose orbits are (d − 3)-spheres. In this…

2006

The iData Toolkit is a toolkit that allows programmers to create interactive, type-safe, dynamic web applications with state on a…

2004

In this paper, two different nonlinear estimators applied to sensorless AC drives, Kalman filtering techniques (EKF and UKF) and…

1999

As computational power and storage capacity increase, processing and analyzing large volumes of multi-dimensional datasets play…

1987

Let M be a connected linear algebraic monoid with zero and a reductive group of units G. The following theorem is established…

1982

manticl data models which often is For the conceptual level of database schemes a abstractions, static and dynamic constraints…

1973

A class of codes for the Gaussian channel is analyzed. The code class is a subclass of the group codes for the Gaussian channel…