Andrzej Tarlecki. The definition of extended ml: a gentle introduction (1997)

by Stefan Kahrs, Donald Sannella
Venue:Theor. Comput. Sci