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

Cached

Download Links

by Donald Sannella , Andrzej Tarlecki
Citations:51 - 20 self

Document Versions

Toward formal development of ML programs: foundations and methodology –Donald Sannella, Andrzej Tarlecki — 1989