Academic Institutions Teach OCaml!
30+ Academic Entries
To list an academic institution, check out the Contributing Guide on GitHub.
Columbia University
-
Programming Languages and Translators
Lecture Notes
University Pierre & Marie Curie
-
Types and Static Analysis
Lecture Notes Exercises
-
Models of programming and languages interoperability
Lecture Notes Exercises
