If you convert a recursive function to fixed-point with a Y-combinator, you can then add memoization to the combinator.
added 2012-03-15T15:49:56Z by anders