[<<][staapl][>>][..]
Mon Mar 30 14:32:45 CEST 2009

memoization

http://okmij.org/ftp/Computation/staging/circle-shift.pdf

contains an example of how to memoize a recursive function using a
modified Y-combinator which leaves the (parameterized) function body
unmodified.

The paper is about memoization (let-insertion) and ... (if-insertion)
in a safe way (preventing side-effects to create unsoundness) using
restricted use of delimited control.




[Reply][About]
[<<][staapl][>>][..]