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

During the recent developments of quantum theory it has been clarified that the observable quantities (like energy or position…

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…

1999

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

1993

A new construction of a finite set of strictness properties for any lazy algebraic datatype is presented. The construction is…

1987

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

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…