NSO News

Latest US news, world news, sports, business, opinion, analysis and the world's leading liberal voice.

Functional Programming in OCaml – Spring 2020 Edition

1 min read
https://www.cs.cornell.edu/courses/cs3110/2020sp/textbook/

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.


Creative Commons License


This work is licensed under a Creative Commons
Attribution-NonCommercial-NoDerivatives 4.0 International License
.

Leave a Reply

Your email address will not be published. Required fields are marked *