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

View PDF

Download Links

by Donald Sannella , Andrzej Tarlecki
Citations:55 - 24 self

Document Versions

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