A Bounds Inference Method for Vector-Based Memoisation.

Wei-Ngan Chin, Masami Hagiya

Browse the full ICFP paper archive.