Kedar N. Swadi Walid Taha Oleg Kiselyov Emir Pasalic A monadic approach for avoiding code duplication when staging memoized functions. 160-169 2006 conf/pepm/2006 PEPM http://doi.acm.org/10.1145/1111542.1111570 db/conf/pepm/pepm2006.html#SwadiTKP06