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