Facilities for memoization and fixed points
This package provides helpers with various constructions that involve memoization and recursion.