Andrzej Tarlecki. The definition of Extended ML: A gentle introduction (1997)

by Stefan Kahrs, Donald Sannella
Venue:Theoretical Computer Science