M.: A Bounds Inference Method for Vector-Based Memoisation (1997)

by W Chin, Hagiya
Venue:2nd ACM SIGPLAN Intl. Conference on Functional Programming, ACM