https://123dok.net/document/yd7rk6ey-incremental-l-calculus-in-cache-transfer-style-static-memoization-by-program-transformation.html