Polymorphic specialization for ML

Simon Helsen, Peter Thiemann. Polymorphic specialization for ML. ACM Transactions on Programming Languages and Systems, 26(4):652-701, 2004. [doi]

Abstract

Abstract is missing.