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… 
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… 
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… 
2005
2005
Recursive data structure profiling
As the processor-memory performance gap increases, so does the need for aggressive data structure optimizations to reduce memory… 
2003
2003
Field Array Compression in Data Caches for Dynamically Allocated Recursive Data Structure
We introduce a software/hardware scheme called the Field Array Compression Technique (FACT) which reduces cache misses caused by… 
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… 
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)