A.: The definition of Extended ML: A gentle introduction. Theoretical Computer Science 173(2 (1997)

by S Kahrs, D Sannella, Tarlecki