Skip to search form
Skip to main content
Skip to account menu
Semantic Scholar
Semantic Scholar's Logo
Search 225,851,501 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
Searching over encrypted data
Tarik Moataz
2016
Corpus ID: 191676599
Cloud services offer reduced costs, elasticity and a promised unlimited managed storage space that attract many end-users. File…
Expand
2013
2013
Semi-cubically hyponormal weighted shifts with recursive type
Chunji Li
,
Ryeong Lee
,
Seunghwan Baek
2013
Corpus ID: 54799880
In this paper, we discuss the semi-cubic hyponormality of recursively generated weighted shifts with weight α(x) : √ x,( √ a, √ b…
Expand
Review
2012
Review
2012
Interpretations of the gradually-typed lambda calculus
Jeremy G. Siek
,
Ronald Garcia
Scheme and Functional Programming
2012
Corpus ID: 18959334
Gradual typing is an approach to integrating static and dynamic type checking within the same language [Siek and Taha 2006…
Expand
2002
2002
Static trace extraction
T. Eisenbarth
,
R. Koschke
,
G. Vogel
Ninth Working Conference on Reverse Engineering…
2002
Corpus ID: 6000935
A trace is a record of the execution of a computer program, showing the sequence of operations executed. Dynamic traces are…
Expand
2001
2001
A space-time block-coded OFDM scheme for unknown frequency-selective fading channels
M. Uysal
,
N. Al-Dhahir
,
C. Georghiades
12th IEEE International Symposium on Personal…
2001
Corpus ID: 41916583
We introduce a space-time block-coded orthogonal frequency-division multiplexing (MC-OFDM) scheme for frequency-selective fading…
Expand
2001
2001
Model based testing in evolutionary software development
A. Pretschner
,
H. Lötzbeyer
,
Jan Philipps
Proceedings 12th International Workshop on Rapid…
2001
Corpus ID: 14976915
The spiraling nature of evolutionary software development processes produces executable parts of the system at the end of each…
Expand
1999
1999
Typed feature structures and design space exploration
R. Woodbury
,
A. Burrow
,
S. Datta
,
T. Chang
Artificial intelligence for engineering design…
1999
Corpus ID: 38813694
Design space explorers are computer programs that play on an exploration metaphor to support design. They assist designers in…
Expand
1993
1993
A Broader Class of Trees for Recursive Type Definitions for HOL
Elsa L. Gunter
HUG
1993
Corpus ID: 1677845
In this paper we describe the construction in Hol of the inductive type of arbitrarily branching labeled trees. Such a type is…
Expand
1989
1989
A Logical Basis for Nested Array Data Structures
M. A. Jenkins
,
J. Glasgow
Computer languages
1989
Corpus ID: 11080110
1979
1979
Recursive data structures in APL
W. Gull
,
M. A. Jenkins
CACM
1979
Corpus ID: 11961214
A mathematical study of three approaches for defining nested arrays in APL is presented. Theorems exhibiting the relationships…
Expand
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)
ACCEPT & CONTINUE