Extended ML
Extended ML
6 min read
Rate this book:
Buy This Book
As an Amazon Associate and Bookshop.org affiliate, BookOrb earns from qualifying purchases.
Know this book?
Help other readers discover this title by sharing your thoughts. Be the first to write a review.
Share Your Thoughts
Sign in to write a review.
More by Donald Sannella
A survey of formal software de
A survey of formal software development methods
Formal program development in
Formal program development in extended ML for the working programmer
Formal specification of ML pro
Formal specification of ML programs
Introduction to Computation
Introduction to Computation
Programming Languages and Syst
Programming Languages and Systems-Esop '94: 5th European Symposium on Programming Edinburgh,U.K., April 11-13, 1994
Some Thoughts on algebraic spe
Some Thoughts on algebraic specification