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… 
2016
2016
Region analysis for deductive verification of C programs
This paper presents a memory model with nonoverlapping memory areas (regions) for the deductive verification of C programs. This… 
2013
2013
Cache and I/O efficent functional algorithms
The widely studied I/O and ideal-cache models were developed to account for the large difference in costs to access memory at… 
2012
2012
DIGITAL PHOTO IMAGE- FORGERY DETECTION TECHNIQUES
Digital images provide a new way to represent pictures and scenes that only film and a darkroom could supply before. This new way… 
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… 
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… 
1996
1996
Type Inference for the Mixture of Matching and Implicit Subtyping
We present a type inference system for a language with object-oriented features such as polymorphic record access and subtyping… 
1976
1976
Recursive data structures and related control mechanisms in APL
A brief description of a recursive data structure extension for APL is given which allows the construction of tree-like data… 
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)