Automatic time-bound analysis for a higher-order language,” (2002)

by G Gomez, Y A Liu
Venue:Proceedings of the 2002 ACM SIGPLAN Workshop on Partial Evaluation and SemanticsBased Program Manipulation (PEPM '02),