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

by Stefan Kahrs , Donald Sannella , Andrzej Tarlecki
Venue:THEORETICAL COMPUTER SCIENCE
Citations:34 - 12 self