Academic Institutions Teach OCaml!
30+ Academic Entries
To list an academic institution, check out the Contributing Guide on GitHub.
Universidade da Beira Interior
-
Certified Programming
-
Computation Theory
Lecture Notes
-
Computational Logic
Lecture Notes Exercises
-
Functional Programming, Algorithms, and Data Structures
Lecture Notes Exercises
-
Programming Languages and Compilers Design
Lecture Notes Exercises
-
Proof and Programming Theory
KAIST
-
Introduction to Information Security
Lecture Notes
-
Program Reasoning
Lecture Notes
-
Program Analysis
Lecture Notes
University of Wrocław
-
Functional Programming
Lecture Notes Exercises
