Academic Users of OCaml
With its deep mathematical roots, OCaml has always had strong ties to academia. Currently, it is being taught in universities around the world, and has accrued an ever growing body of research. This page will provide you with an overview of the academic excellence that defines the culture of OCaml.
30+ Academic Entries
Princeton University
Cornell University
KAIST
Université Paris-Diderot
Rice University
Universidade da Beira Interior
University of Rennes 1
University of California, Los Angeles
University of Cambridge
University Pierre & Marie Curie
University of Massachusetts
University of Maryland
Aix-Marseille University
Indian Institute of Technology, Delhi
University of Birmingham
University of California, San Diego
University of Bologna
Aarhus University
Indian Institute of Technology, Madras
ISAE/Supaéro
Technical University Munich
California Institute of Technology
University of Illinois at Urbana-Champaign
Columbia University
University of Minnesota Twin Cities
McGill University
Brown University
University of Virginia
Boston College
Harvard University
University of Pennsylvania
Epita
University of Massachusetts Amherst
Laval University
University of Wrocław
University of Innsbruck
Princeton University
Cornell University
Rice University
University of California, Los Angeles
University of Massachusetts
University of Maryland
University of California, San Diego
California Institute of Technology
University of Illinois at Urbana-Champaign
Columbia University
University of Minnesota Twin Cities
McGill University
Brown University
University of Virginia
Boston College
Harvard University
University of Pennsylvania
University of Massachusetts Amherst
Laval University
Université Paris-Diderot
Universidade da Beira Interior
University of Rennes 1
University of Cambridge
University Pierre & Marie Curie
Aix-Marseille University
University of Birmingham
University of Bologna
Aarhus University
ISAE/Supaéro
Technical University Munich
Epita
University of Wrocław
University of Innsbruck
If you want to contribute to add a new academic user, check out the Contributing Guide on GitHub.
Academic Resources
Here are some of the resources that may be helpful to you
Papers
Papers that have influenced OCaml and other functional programming languages.
Language Manual
Read the reference manual of the language and the documentation on the compiler tools.
Books
What expert programmers and researchers are saying about OCaml, from the beginner level to the more advanced topics.
Interested in Learning More?
Go to our success stories for a more in-depth understanding of how our users use OCaml.