Improving Programs by the Introduction of Recursion

Improving Programs by the Introduction of Recursion

Detalles Bibliográficos
Autor principal:	Bird, R
Formato:	Journal article
Publicado:	1977

Ejemplares similares

Tabulation Techniques for Recursive Programs
por: Bird, R
Publicado: (1980)

Notes on Recursion Elimination
por: Bird, R
Publicado: (1977)

Non Recursive Functionals
por: Bird, R
Publicado: (1975)

Zippy Tabulations of Recursive Functions
por: Bird, R
Publicado: (2008)

Recursion Elimination with Variable Parameters
por: Bird, R
Publicado: (1979)

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

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

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

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

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

On recursion
por: Watumull, Jeffrey, et al.
Publicado: (2014)

Recursiveness /
por: 430157 Eilenberg, Samuel
Publicado: (1970)

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

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

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

Primitive Recursion
por: Levin, Michael
Publicado: (2004)

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

Recursive functions /
por: 430594 Peter, Rozsa
Publicado: (1967)

Thinking recursively /
por: 203886 Roberts, Eric
Publicado: (1986)

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

An Introduction to Functional Programming
por: Bird, R, et al.
Publicado: (1988)

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

Introduction to Functional Programming Using Haskell
por: Bird, R
Publicado: (1998)

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

Recursive Soft Drop
por: Necib, Lina, et al.
Publicado: (2018)

Recursive Robotic Assemblers
por: Smith, Miana M.
Publicado: (2023)

Recursion on inadmissible ordinals
por: Friedman, Sy David
Publicado: (2005)

Games for recursive types
por: Abramsky, S, et al.
Publicado: (1995)

Categories in recursion theory,
por: Wasserman, Michael Gary.
Publicado: (2020)

Recursive interlocking puzzles
por: Song, Peng., et al.
Publicado: (2013)

Recursive Data Structures
por: Hoare, C
Publicado: (1975)

Responsibility and the recursion problem
por: Davies, B
Publicado: (2021)

Generalized recursion theory
Publicado: (1974)

Recursive soft drop
por: Dreyer, F, et al.
Publicado: (2018)

Logic, sets, and recursion /
por: 332434 Causey, Robert L.
Publicado: (2006)

E-recursively enumerable degrees
por: Griffor, Edward R.
Publicado: (2005)

Unifying Structured Recursion Schemes
por: Hinze, R, et al.
Publicado: (2013)

Unifying Structured Recursion Schemes
por: Hinze, R, et al.
Publicado: (2013)

The emergence of recursion in human language: Mentalising predicts recursive syntax task performance
por: Oesch, N, et al.
Publicado: (2016)

Generalized recursion theory II /
por: Symposium on Generalized Recursion Theory (2nd: 1977: University of Oslo), et al.
Publicado: (1978)