Polymorphic specialization for ML (2004)

by S Helsen, P Thiemann
Venue:ACM TOPLAS