Incremental \lambda -Calculus in Cache-Transfer Style - Static Memoization by Program Transformation.

Paolo G. Giarrusso, Yann Rgis-Gianas, Philipp Schuster

Browse the full ESOP paper archive.