Notes on Recursion Elimination

Míreanna comhchosúla

• Recursion Elimination with Variable Parameters
  de réir: Bird, R
  Foilsithe / Cruthaithe: (1979)
• Non Recursive Functionals
  de réir: Bird, R
  Foilsithe / Cruthaithe: (1975)
• Improving Programs by the Introduction of Recursion
  de réir: Bird, R
  Foilsithe / Cruthaithe: (1977)
• Tabulation Techniques for Recursive Programs
  de réir: Bird, R
  Foilsithe / Cruthaithe: (1980)
• Zippy Tabulations of Recursive Functions
  de réir: Bird, R
  Foilsithe / Cruthaithe: (2008)