"A monadic approach for avoiding code duplication when staging memoized ..."

Kedar N. Swadi et al. (2006)
a service of Schloss Dagstuhl - Leibniz Center for Informatics