Improving Programs by the Introduction of Recursion

Improving Programs by the Introduction of Recursion

Bibliographic Details
Main Author:	Bird, R
Format:	Journal article
Published:	1977

Similar Items

Tabulation Techniques for Recursive Programs
by: Bird, R
Published: (1980)

Notes on Recursion Elimination
by: Bird, R
Published: (1977)

Non Recursive Functionals
by: Bird, R
Published: (1975)

Zippy Tabulations of Recursive Functions
by: Bird, R
Published: (2008)

Recursion Elimination with Variable Parameters
by: Bird, R
Published: (1979)

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

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

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

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

On recursion
by: Watumull, Jeffrey, et al.
Published: (2014)

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

An Introduction to Functional Programming
by: Bird, R, et al.
Published: (1988)

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

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

Primitive Recursion
by: Levin, Michael
Published: (2004)

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

Introduction to Functional Programming Using Haskell
by: Bird, R
Published: (1998)

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

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

Recursive Soft Drop
by: Necib, Lina, et al.
Published: (2018)

Recursive Robotic Assemblers
by: Smith, Miana M.
Published: (2023)

Recursion on inadmissible ordinals
by: Friedman, Sy David
Published: (2005)

Games for recursive types
by: Abramsky, S, et al.
Published: (1995)

Categories in recursion theory,
by: Wasserman, Michael Gary.
Published: (2020)

Recursive interlocking puzzles
by: Song, Peng., et al.
Published: (2013)

Recursive Data Structures
by: Hoare, C
Published: (1975)

Responsibility and the recursion problem
by: Davies, B
Published: (2021)

Recursive soft drop
by: Dreyer, F, et al.
Published: (2018)

Generalized recursion theory
Published: (1974)

Logic, sets, and recursion /
by: 332434 Causey, Robert L.
Published: (2006)

E-recursively enumerable degrees
by: Griffor, Edward R.
Published: (2005)

Unifying Structured Recursion Schemes
by: Hinze, R, et al.
Published: (2013)

Unifying Structured Recursion Schemes
by: Hinze, R, et al.
Published: (2013)

A Complete Axiomatic System for Proving Deductions About Recursive Programs
by: Harel, David, et al.
Published: (2023)

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

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

Recursion and Noticing In Written Feedback
by: Kumar, Vijay, et al.
Published: (2009)

Reducibilities in recursive function theory.
by: Jockusch, Carl Groos, Jr
Published: (2007)

Complexity Classes of Recursive Functions
by: Moll, Robert
Published: (2023)

Admissible ordinals and recursion theory,
by: Simpson, Stephen G. (Stephen George), 1945-
Published: (2005)