The definition of Extended ML: a gentle introduction (1997)

by S Kahrs, D Sannella, A Tarlecki
Venue:Theoretical Computer Science