Size inference of nested lists in functional programs (1998)

by Christoph A Herrmann, Christian Lengauer
Venue:Dept. Computer Science, Univ. College London