Skip to search form
Skip to main content
Skip to account menu
Semantic Scholar
Semantic Scholar's Logo
Search 237,026,587 papers from all fields of science
Search
Sign In
Create Free Account
Recursive data type
Known as:
Equirecursive type
, Recursive type
, Equirecursive
Expand
In computer programming languages, a recursive data type (also known as a recursively-defined, inductively-defined or inductive data type) is a data…
Expand
Wikipedia
(opens in a new tab)
Create Alert
Alert
Related topics
Related topics
26 relations
Algebraic data type
Apomorphism
Denotational semantics
Directed graph
Expand
Broader (1)
Type theory
Papers overview
Semantic Scholar uses AI to extract papers important to this topic.
2016
2016
Coinductive Intersection Types are Completely Unsound
Pierre Vial
arXiv.org
2016
Corpus ID: 18858109
Type assignment systems are known to grant or characterize normalization. The grammar of the types they feature is usually…
Expand
2014
2014
Games for Core ML
T. Cuvillier
2014
Corpus ID: 40450039
ML is a particularly relevant language to study, both due to its wide-use through the computer scientist community, and its large…
Expand
2012
2012
DIGITAL PHOTO IMAGE- FORGERY DETECTION TECHNIQUES
S. Murali
,
B. Anami
,
Govindraj B. Chittapur
2012
Corpus ID: 61716661
Digital images provide a new way to represent pictures and scenes that only film and a darkroom could supply before. This new way…
Expand
2011
2011
Algebraic Constructions Applied to Theories
M. Tran
2011
Corpus ID: 122341595
MathScheme is a long-range research project being conducted at McMaster University with the aim to develop a mechanized…
Expand
2008
2008
A study on methods for identifying recursive type and non-recurcive type unknown systems
Tsutsumi Sho
,
Fujii Kensaku
,
Muneyasu Mitsuji
2008
Corpus ID: 126344540
2003
2003
Online Estimation of a Smooth Regression Function
R. Khasminskii
,
R. Liptser
2003
Corpus ID: 1038487
The tracking (recursive) type estimator for a one-dimensional regression estimation problem with equidistant design is proposed…
Expand
1998
1998
Recursive Definitions in Z
R. Arthan
ZUM
1998
Corpus ID: 29253713
This paper considers some issues in the theory and practice of defining functions over recursive data types in Z. Principles…
Expand
1998
1998
Transparent and Opaque Interpretations of Datatypes
Karl Crary
,
R. Harper
,
P. Cheng
,
Leaf Petersen
,
Christopher A. Stone
1998
Corpus ID: 15411344
Abstract : Standard ML employs an opaque (or generative) interpretation of datatype specifications, in which every datatype…
Expand
1997
1997
Recursive Data Types in Typed Set
TheoryR. D. ArthanLemma
1997
Corpus ID: 6564847
Appeals to the axiom of replacement in classical set theory cannot automatically be carried over into simple type theory or other…
Expand
1986
1986
Recursive data type in SETL: automatic determination, data language description, and efficient implementation
Gerald Weiss
1986
Corpus ID: 61415923
Very high level languages are often weakly typed in the sense that different occurrences of a name can be associated with…
Expand