Functional Programming in OCaml (2019)
Companies, agencies, institutions, etc
CS
People
Michael R. Clarkson
Robert L. Constable
Nate Foster
Michael D. George
Dan Grossman
Daniel P. Huttenlocher
Dexter Kozen
Greg Morrisett
Andrew C. Myers
Radu Rugina
Ramin
Zabih
Groups
No matching tags
Physical locations
No matching tags
Places
No matching tags
Locations
No matching tags
Events
No matching tags
Summary
this work in its form as a unified textbook is Michael R.
As said here by