Functional Programming in OCaml – Spring 2020 Edition
source link: https://www.cs.cornell.edu/courses/cs3110/2020sp/textbook/
Go to the source link to view the article. You can view the picture content, updated content and better typesetting reading experience. If the link is broken, please click the button below to view the snapshot at that time.
Functional Programming in OCaml
Spring 2020 Edition
Based on courses taught by 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, and Ramin Zabih.
This work is based on over 20 years worth of course notes and intellectual contributions by the authors named above; teasing out who contributed what is, by now, not an easy task. The primary compiler and author of this work in its form as a unified textbook is Michael R. Clarkson.
For the most recent version of this work, see the most recent CS 3110 course website .
This work is licensed under a Creative Commons Attribution-NonCommercial-NoDerivatives 4.0 International License .
Recommend
About Joyk
Aggregate valuable and interesting links.
Joyk means Joy of geeK