Polymorphic specialization for ML (2002)

by Simon Helsen, Peter Thiemann
Venue:ACM Transactions on Programming Languages and Systems