A monadic approach for avoiding code duplication when staging memoized functions (2006)

by K Swadi, W Taha, O Kiselyov, E Pašalić
Venue:In PEPM