Skip to search formSkip to main contentSkip to account menu

Recursive data type

Known as: Equirecursive type, Recursive type, Equirecursive 
In computer programming languages, a recursive data type (also known as a recursively-defined, inductively-defined or inductive data type) is a data… 
Wikipedia (opens in a new tab)

Related topics

Related topics

26 relations
Algebraic data typeApomorphismDenotational semanticsDirected graph

Broader (1)

Type theory

Papers overview

Semantic Scholar uses AI to extract papers important to this topic.
2016
2016
Searching over encrypted data
Cloud services offer reduced costs, elasticity and a promised unlimited managed storage space that attract many end-users. File… 
2013
2013
Semi-cubically hyponormal weighted shifts with recursive type
In this paper, we discuss the semi-cubic hyponormality of recursively generated weighted shifts with weight α(x) : √ x,( √ a, √ b… 
Review
2012
Review
2012
Interpretations of the gradually-typed lambda calculus
Gradual typing is an approach to integrating static and dynamic type checking within the same language [Siek and Taha 2006… 
2002
2002
Static trace extraction
A trace is a record of the execution of a computer program, showing the sequence of operations executed. Dynamic traces are… 
2001
2001
A space-time block-coded OFDM scheme for unknown frequency-selective fading channels
We introduce a space-time block-coded orthogonal frequency-division multiplexing (MC-OFDM) scheme for frequency-selective fading… 
2001
2001
Model based testing in evolutionary software development
The spiraling nature of evolutionary software development processes produces executable parts of the system at the end of each… 
1999
1999
Typed feature structures and design space exploration
Design space explorers are computer programs that play on an exploration metaphor to support design. They assist designers in… 
1993
1993
A Broader Class of Trees for Recursive Type Definitions for HOL
In this paper we describe the construction in Hol of the inductive type of arbitrarily branching labeled trees. Such a type is… 
1989
1989
A Logical Basis for Nested Array Data Structures
1979
1979
Recursive data structures in APL
A mathematical study of three approaches for defining nested arrays in APL is presented. Theorems exhibiting the relationships… 
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)