Improving Programs by the Introduction of Recursion

Improving Programs by the Introduction of Recursion

Bibliografiske detaljer
Hovedforfatter:	Bird, R
Format:	Journal article
Udgivet:	1977

Lignende værker

Tabulation Techniques for Recursive Programs
af: Bird, R
Udgivet: (1980)

Notes on Recursion Elimination
af: Bird, R
Udgivet: (1977)

Non Recursive Functionals
af: Bird, R
Udgivet: (1975)

Zippy Tabulations of Recursive Functions
af: Bird, R
Udgivet: (2008)

Recursion Elimination with Variable Parameters
af: Bird, R
Udgivet: (1979)

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

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

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

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

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

On recursion
af: Watumull, Jeffrey, et al.
Udgivet: (2014)

Recursiveness /
af: 430157 Eilenberg, Samuel
Udgivet: (1970)

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

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

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

Primitive Recursion
af: Levin, Michael
Udgivet: (2004)

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

Recursive functions /
af: 430594 Peter, Rozsa
Udgivet: (1967)

Thinking recursively /
af: 203886 Roberts, Eric
Udgivet: (1986)

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

An Introduction to Functional Programming
af: Bird, R, et al.
Udgivet: (1988)

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

Introduction to Functional Programming Using Haskell
af: Bird, R
Udgivet: (1998)

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

Recursive Soft Drop
af: Necib, Lina, et al.
Udgivet: (2018)

Recursive Robotic Assemblers
af: Smith, Miana M.
Udgivet: (2023)

Recursion on inadmissible ordinals
af: Friedman, Sy David
Udgivet: (2005)

Games for recursive types
af: Abramsky, S, et al.
Udgivet: (1995)

Categories in recursion theory,
af: Wasserman, Michael Gary.
Udgivet: (2020)

Recursive interlocking puzzles
af: Song, Peng., et al.
Udgivet: (2013)

Recursive Data Structures
af: Hoare, C
Udgivet: (1975)

Responsibility and the recursion problem
af: Davies, B
Udgivet: (2021)

Generalized recursion theory
Udgivet: (1974)

Recursive soft drop
af: Dreyer, F, et al.
Udgivet: (2018)

Logic, sets, and recursion /
af: 332434 Causey, Robert L.
Udgivet: (2006)

E-recursively enumerable degrees
af: Griffor, Edward R.
Udgivet: (2005)

Unifying Structured Recursion Schemes
af: Hinze, R, et al.
Udgivet: (2013)

Unifying Structured Recursion Schemes
af: Hinze, R, et al.
Udgivet: (2013)

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

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