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)

Papers overview

Semantic Scholar uses AI to extract papers important to this topic.
2016
2016
Cloud services offer reduced costs, elasticity and a promised unlimited managed storage space that attract many end-users. File… 
2013
2013
In this paper, we discuss the semi-cubic hyponormality of recursively generated weighted shifts with weight α(x) : √ x,( √ a, √ b… 
Review
2012
Review
2012
Gradual typing is an approach to integrating static and dynamic type checking within the same language [Siek and Taha 2006… 
2002
2002
A trace is a record of the execution of a computer program, showing the sequence of operations executed. Dynamic traces are… 
2001
2001
We introduce a space-time block-coded orthogonal frequency-division multiplexing (MC-OFDM) scheme for frequency-selective fading… 
2001
2001
The spiraling nature of evolutionary software development processes produces executable parts of the system at the end of each… 
1999
1999
Design space explorers are computer programs that play on an exploration metaphor to support design. They assist designers in… 
1993
1993
In this paper we describe the construction in Hol of the inductive type of arbitrarily branching labeled trees. Such a type is… 
1979
1979
A mathematical study of three approaches for defining nested arrays in APL is presented. Theorems exhibiting the relationships…