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
![](/media/_/MjYzMGNjMDY0YjlkZjRkMmQ5ODRiOWM2YzMzOTNmMDA/academic_institution/cambridge.jpg)
University of Cambridge
![](/media/_/MTEyYzZiMzdjMmY1YTFkNjYwNmExZTUxYWFlOWY3Mzc/academic_institution/harvard.png)
Harvard University
![](/media/_/NGRiMzZhN2U1MWRjZTA5MGFmZjQ3M2ZkYWEwNjdkZDk/academic_institution/cornell.png)
Cornell University
![](/media/_/YTVlZDg3ZjBkMTZmZDFmODNjZmNmY2QxNjg2NjNhMjM/academic_institution/iitm.png)
Indian Institute of Technology, Madras
![](/media/_/MWQ2MzM4MzZiYjJlYjM5ODY2MDIyMzg4NGQzOWRiMzI/academic_institution/wroclaw.jpg)
University of Wrocław
![](/media/_/MWVhYWE2NTM4NmRiZGRjYmVhYjAxNjJjYmU5ODk2ZGY/academic_institution/rice.jpg)
Rice University
![](/media/_/YzhmOWJiNTczZWNjNzFkNTcxZjk2MjdmY2RiNDY5MjI/academic_institution/umas.jpeg)
University of Massachusetts Amherst
![](/media/_/OWUzMTUxNjQwN2M3NTdlMzU4OTBmMGQwYWQwZTUwMzA/academic_institution/ucsd_logo.png)
University of California, San Diego
![](/media/_/MzQ3MWQ1YjlhZDRhNGVjM2Q2MzIwNzBkNTJjZGE1OTY/academic_institution/virginia.png)
University of Virginia
![](/media/_/MzM5ODhlNzQ2YjBmZTc4MzBlYTEwZmFjNTZhYjY3NDg/academic_institution/caltech.png)
California Institute of Technology
![](/media/_/N2EzNTQ3OTc5YTg1NWVlMGNkMjY0ZjA3NzM0MzA3MzI/academic_institution/maryland.gif)
University of Maryland
![](/media/_/Njg3N2ViZTQ0ZTA4ZTM3MWIyMmQ3MzVlYTI3M2JhNTI/academic_institution/paris.jpg)
Université Paris-Diderot
![](/media/_/MTg5NDFmNGY1ZWE1ZTY5ODhkMDRkNzdkYWQxMmZmMDk/academic_institution/beira.jpg)
Universidade da Beira Interior
![](/media/_/ZjI1YjkyZTAwZDYwZjFiMzk1MDIzY2E4Mzk2N2NhMmI/academic_institution/mcgill_logo.png)
McGill University
![](/media/_/MWQyMjMwM2ZkYWZiODMxZGViYmFkMWFjYmVjMWFiZDU/academic_institution/iitd.png)
Indian Institute of Technology, Delhi
![](/media/_/NjM1NzU3MDU4NjhlNmMwYWM3MmZiODFhZDJkZGYzNDA/academic_institution/tum.png)
Technical University Munich
University of Minnesota Twin Cities
![](/media/_/OGMwNDJlNzZlODhmNDZiMDg2YzQ1YWRkYmI3NGZlOTI/academic_institution/ulaval_logo.png)
Laval University
![](/media/_/MWYxNTU2ZDEyN2ZkYzVjN2QwNDE0YmVlN2VkNDJlNDk/academic_institution/columbia.png)
Columbia University
![](/media/_/NDFmZDYxNzRmM2I1ODNjNmRjYzQ1MDQwZDFjNTFhOWQ/academic_institution/massachusetts.png)
University of Massachusetts
![](/media/_/NmU2Nzg0NjYzZWRlOTNjOGRiMzNlZDdkYWI0MTM4ZjA/academic_institution/university-of-innsbruck-logo.jpg)
University of Innsbruck
![](/media/_/ZTc5YmY5MGQ3YWU2N2Q0OWU1MjkxZWEwZDgyNmYxY2Q/academic_institution/aix.jpg)
Aix-Marseille University
![](/media/_/Zjk5MTJiNDA0YzdmYzE4N2Y2NjA0ZmE0MDRkMzAyZGI/academic_institution/curie.jpg)
University Pierre & Marie Curie
![](/media/_/ZDhlMzhmY2YyZWYyYWMyNmE2MDU3MmQwNmIxZDI5YzY/academic_institution/kaist.png)
KAIST
![](/media/_/ZWVkMTJjOTM4ODU3M2Q2YmM2YzQ3YTVkZDE3Y2IzMGQ/academic_institution/illinois.jpeg)
University of Illinois at Urbana-Champaign
![](/media/_/MTRkNTRiZmE4YWNhOGE1MzM3NjI0M2I1ZGIwNmY3NjI/academic_institution/princeton.png)
Princeton University
![](/media/_/ZTliMDg1NWQ5ZGU4YTZjOTYyMGVlYzI5ZTAxNmQwNzE/academic_institution/Birmingham.jpg)
University of Birmingham
![](/media/_/MjBmZWVlMGE4ODM2OWZhZGNjZGYyZjllMjNmNDY0NDE/academic_institution/penn.png)
University of Pennsylvania
![](/media/_/MWMxOTQxYTk4OGMwNzA4MTFhYzM0NjU2NTQxYTgyOGM/academic_institution/reness.png)
University of Rennes 1
![](/media/_/ZTU4MmQyODUwODMzY2FjM2RjNWU0YmU3NDFlNmI4YzE/academic_institution/arhus.png)
Aarhus University
![](/media/_/ZjFhMTkwYzUzNmE4NDVkZjVkMWYzOGU5YmUzN2FjZTc/academic_institution/epita.png)
Epita
![](/media/_/Mjc4MDg2ZDEyZjYyNDE5MDVjYWJmZDM0MDVlYWRlMWE/academic_institution/ucla.jpg)
University of California, Los Angeles
![](/media/_/OTM1MzczNGFjMThjZmJmZDBiNTU4MGEyYzA2ZTJmYTc/academic_institution/boston.png)
Boston College
![](/media/_/NDZiNzQxZDQ5YzNjOTE5ZGU4NTY4ZDdlZTI2OTI4OWE/academic_institution/isae.png)
ISAE/Supaéro
![](/media/_/Mzc0MWQxMjAzODE2NGRjNGJkNGU2YWI1M2IwMjc2MGY/academic_institution/bologna.png)
University of Bologna
![](/media/_/MjkyZjFhOGIyMzYyZjRiZjYxNTFhZjg5NGIyZjkwYzU/academic_institution/brown.png)
Brown University
![](/media/_/MTEyYzZiMzdjMmY1YTFkNjYwNmExZTUxYWFlOWY3Mzc/academic_institution/harvard.png)
Harvard University
![](/media/_/NGRiMzZhN2U1MWRjZTA5MGFmZjQ3M2ZkYWEwNjdkZDk/academic_institution/cornell.png)
Cornell University
![](/media/_/MWVhYWE2NTM4NmRiZGRjYmVhYjAxNjJjYmU5ODk2ZGY/academic_institution/rice.jpg)
Rice University
![](/media/_/YzhmOWJiNTczZWNjNzFkNTcxZjk2MjdmY2RiNDY5MjI/academic_institution/umas.jpeg)
University of Massachusetts Amherst
![](/media/_/OWUzMTUxNjQwN2M3NTdlMzU4OTBmMGQwYWQwZTUwMzA/academic_institution/ucsd_logo.png)
University of California, San Diego
![](/media/_/MzQ3MWQ1YjlhZDRhNGVjM2Q2MzIwNzBkNTJjZGE1OTY/academic_institution/virginia.png)
University of Virginia
![](/media/_/MzM5ODhlNzQ2YjBmZTc4MzBlYTEwZmFjNTZhYjY3NDg/academic_institution/caltech.png)
California Institute of Technology
![](/media/_/N2EzNTQ3OTc5YTg1NWVlMGNkMjY0ZjA3NzM0MzA3MzI/academic_institution/maryland.gif)
University of Maryland
![](/media/_/ZjI1YjkyZTAwZDYwZjFiMzk1MDIzY2E4Mzk2N2NhMmI/academic_institution/mcgill_logo.png)
McGill University
University of Minnesota Twin Cities
![](/media/_/OGMwNDJlNzZlODhmNDZiMDg2YzQ1YWRkYmI3NGZlOTI/academic_institution/ulaval_logo.png)
Laval University
![](/media/_/MWYxNTU2ZDEyN2ZkYzVjN2QwNDE0YmVlN2VkNDJlNDk/academic_institution/columbia.png)
Columbia University
![](/media/_/NDFmZDYxNzRmM2I1ODNjNmRjYzQ1MDQwZDFjNTFhOWQ/academic_institution/massachusetts.png)
University of Massachusetts
![](/media/_/ZWVkMTJjOTM4ODU3M2Q2YmM2YzQ3YTVkZDE3Y2IzMGQ/academic_institution/illinois.jpeg)
University of Illinois at Urbana-Champaign
![](/media/_/MTRkNTRiZmE4YWNhOGE1MzM3NjI0M2I1ZGIwNmY3NjI/academic_institution/princeton.png)
Princeton University
![](/media/_/MjBmZWVlMGE4ODM2OWZhZGNjZGYyZjllMjNmNDY0NDE/academic_institution/penn.png)
University of Pennsylvania
![](/media/_/Mjc4MDg2ZDEyZjYyNDE5MDVjYWJmZDM0MDVlYWRlMWE/academic_institution/ucla.jpg)
University of California, Los Angeles
![](/media/_/OTM1MzczNGFjMThjZmJmZDBiNTU4MGEyYzA2ZTJmYTc/academic_institution/boston.png)
Boston College
![](/media/_/MjkyZjFhOGIyMzYyZjRiZjYxNTFhZjg5NGIyZjkwYzU/academic_institution/brown.png)
Brown University
![](/media/_/MjYzMGNjMDY0YjlkZjRkMmQ5ODRiOWM2YzMzOTNmMDA/academic_institution/cambridge.jpg)
University of Cambridge
![](/media/_/MWQ2MzM4MzZiYjJlYjM5ODY2MDIyMzg4NGQzOWRiMzI/academic_institution/wroclaw.jpg)
University of Wrocław
![](/media/_/Njg3N2ViZTQ0ZTA4ZTM3MWIyMmQ3MzVlYTI3M2JhNTI/academic_institution/paris.jpg)
Université Paris-Diderot
![](/media/_/MTg5NDFmNGY1ZWE1ZTY5ODhkMDRkNzdkYWQxMmZmMDk/academic_institution/beira.jpg)
Universidade da Beira Interior
![](/media/_/NjM1NzU3MDU4NjhlNmMwYWM3MmZiODFhZDJkZGYzNDA/academic_institution/tum.png)
Technical University Munich
![](/media/_/NmU2Nzg0NjYzZWRlOTNjOGRiMzNlZDdkYWI0MTM4ZjA/academic_institution/university-of-innsbruck-logo.jpg)
University of Innsbruck
![](/media/_/ZTc5YmY5MGQ3YWU2N2Q0OWU1MjkxZWEwZDgyNmYxY2Q/academic_institution/aix.jpg)
Aix-Marseille University
![](/media/_/Zjk5MTJiNDA0YzdmYzE4N2Y2NjA0ZmE0MDRkMzAyZGI/academic_institution/curie.jpg)
University Pierre & Marie Curie
![](/media/_/ZTliMDg1NWQ5ZGU4YTZjOTYyMGVlYzI5ZTAxNmQwNzE/academic_institution/Birmingham.jpg)
University of Birmingham
![](/media/_/MWMxOTQxYTk4OGMwNzA4MTFhYzM0NjU2NTQxYTgyOGM/academic_institution/reness.png)
University of Rennes 1
![](/media/_/ZTU4MmQyODUwODMzY2FjM2RjNWU0YmU3NDFlNmI4YzE/academic_institution/arhus.png)
Aarhus University
![](/media/_/ZjFhMTkwYzUzNmE4NDVkZjVkMWYzOGU5YmUzN2FjZTc/academic_institution/epita.png)
Epita
![](/media/_/NDZiNzQxZDQ5YzNjOTE5ZGU4NTY4ZDdlZTI2OTI4OWE/academic_institution/isae.png)
ISAE/Supaéro
![](/media/_/Mzc0MWQxMjAzODE2NGRjNGJkNGU2YWI1M2IwMjc2MGY/academic_institution/bologna.png)
University of Bologna
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.