Toward formal development of ML programs: foundations and methodology (1989)

Cached

Download Links

by Donald Sannella , Andrzej Tarlecki
Citations:52 - 21 self