Extending the type checker of Standard ML by polymorphic recursion (1999)

by M Emms, H Leiß
Venue:Theoretical Computer Science, 212(1-2): 157 – 181