Improving Programs by the Introduction of Recursion

Improving Programs by the Introduction of Recursion

Dades bibliogràfiques
Autor principal:	Bird, R
Format:	Journal article
Publicat:	1977

Ítems similars

Tabulation Techniques for Recursive Programs
per: Bird, R
Publicat: (1980)

Notes on Recursion Elimination
per: Bird, R
Publicat: (1977)

Non Recursive Functionals
per: Bird, R
Publicat: (1975)

Zippy Tabulations of Recursive Functions
per: Bird, R
Publicat: (2008)

Recursion Elimination with Variable Parameters
per: Bird, R
Publicat: (1979)

Induction, recursion and programming /
per: 403876 Mitchell, Wand

Recursive programming techniques /
per: Burge, William H
Publicat: (1975)

On learning polynomial recursive programs
per: Buna-Marginean, A, et al.
Publicat: (2024)

Computability : an introduction to recursive function theory /
per: 367112 Cutland, Nigel
Publicat: (1980)

Computability theory : an introduction to recursion theory /
per: 461543 Enderton, Herbert B.
Publicat: (c201)

Proof of a Recursive Program: Quicksort
per: Foley, M, et al.
Publicat: (1971)

Recursed is not recursive: A jarring result
per: Demaine, ED, et al.
Publicat: (2022)

On recursion
per: Watumull, Jeffrey, et al.
Publicat: (2014)

Recursiveness /
per: 430157 Eilenberg, Samuel
Publicat: (1970)

Termination Assertions for Recursive Programs: Completeness and Axiomatic Definability
per: Meyer, Albert R., et al.
Publicat: (2023)

Enumerability, decidability, computability : an introduction to the theory of recursive functions /
per: 430372 Hermes, Hans
Publicat: (1969)

Pipelined recursive filter : the recursive greedy way of design
per: Ong, Van Vinh
Publicat: (2015)

Primitive Recursion
per: Levin, Michael
Publicat: (2004)

Prosody and recursion
per: Wagner, Michael, Ph. D. Massachusetts Institute of Technology
Publicat: (2006)

Recursive functions /
per: 430594 Peter, Rozsa
Publicat: (1967)

Thinking recursively /
per: 203886 Roberts, Eric
Publicat: (1986)

Model Checking Recursive Programs with Numeric Data Types
per: Hague, M, et al.
Publicat: (2011)

Recursive descent compiling /
per: Davie, A. J. T. (Antony J. T.), 1939-, et al.
Publicat: (1981)

An Introduction to Functional Programming
per: Bird, R, et al.
Publicat: (1988)

Introduction to Functional Programming Using Haskell
per: Bird, R
Publicat: (1998)

On-the-fly Race Detection for Programs with Recursive Spawn-Sync Parallelism
per: He, Yuxiong, et al.
Publicat: (2003)

Recursive Soft Drop
per: Necib, Lina, et al.
Publicat: (2018)

Recursive Robotic Assemblers
per: Smith, Miana M.
Publicat: (2023)

Recursion on inadmissible ordinals
per: Friedman, Sy David
Publicat: (2005)

Games for recursive types
per: Abramsky, S, et al.
Publicat: (1995)

Categories in recursion theory,
per: Wasserman, Michael Gary.
Publicat: (2020)

Recursive interlocking puzzles
per: Song, Peng., et al.
Publicat: (2013)

Recursive Data Structures
per: Hoare, C
Publicat: (1975)

Responsibility and the recursion problem
per: Davies, B
Publicat: (2021)

Generalized recursion theory
Publicat: (1974)

Recursive soft drop
per: Dreyer, F, et al.
Publicat: (2018)

Logic, sets, and recursion /
per: 332434 Causey, Robert L.
Publicat: (2006)

Recursion-theoretic hierarchies /
per: 366611 Hinman, Peter G.
Publicat: (1978)

Recursive macroeconomic theory /
per: Ljungqvist, Lars, et al.
Publicat: (2012)

E-recursively enumerable degrees
per: Griffor, Edward R.
Publicat: (2005)