Skip to content

Formal program development in extended ML for the working programmer

by Donald Sannella

Writing a summary for young readers…

For young readers

Book data: Open Library