Academic Institutions Teach OCaml!
30+ Academic Entries
To list an academic institution, check out the Contributing Guide on GitHub.
NOVA FCT Lisbon
-
Linguagens e Ambientes de Programação
Lecture Notes Exercises
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
University Pierre & Marie Curie
-
Types and Static Analysis
Lecture Notes Exercises
-
Models of programming and languages interoperability
Lecture Notes Exercises
Indian Institute of Technology, Madras
-
Paradigms of Programming
Lecture Notes Exercises
