Formally-based profiling for higher-order functional languages (1997)

by P Sansom, S Peyton-Jones
Venue:ACM Transactions on Programming Languages and Systems