Automatic time-bound analysis for a higher-order language.

Gustavo Gomez, Yanhong A. Liu

Browse the full PEPM paper archive.