# OCaml wins the ACM Programming Language Software award *2023-06-19 — note* I was honoured to be included in the OCaml team that won the [ACM Programming Languages Software Award for 2023](https://www.cst.cam.ac.uk/news/acm-programming-languages-software-award-goes-ocaml-researchers). > The Association for Computing Machinery (ACM), the world's largest association of computing professionals, today gave the 2023 SIGPLAN Award to a group of developers for their work on the functional programming language OCaml. > > The award was presented at the annual SIGPLAN Programming Language Design and Implementation Conference to a group of researchers and developers including our colleague Anil Madhavapeddy, Professor of Planetary Computing here. > > The prestigious Programming Languages Software Award is given annually "to an institution or individual(s) to recognise the development of a software system that has had a significant impact on programming language research, implementations, and tools," ACM says. > > \-- [Computer Laboratory](https://www.cst.cam.ac.uk/news/acm-programming-languages-software-award-goes-ocaml-researchers) See also the main [ACM Award Page](https://www.sigplan.org/Awards/Software/) citation: > The OCaml Compiler Distribution is the reference implementation of the OCaml language, a dialect of ML that aims to be pragmatic, both in language features and implementation, encouraging a simple programming style that yields good performance and usability. It has a large user base in industry, research, and education throughout the world, and was used to implement a number of other impactful systems, notably in verification: Coq proof assistant, CompCert verified compiler, Why3 verified programming environment, Frama-C, Astrée and Gillian static analyzers, Infer, Hack and Flow projects at Meta, SLAM/SDV and F\* at Microsoft, etc. > \-- [ACM SIGPLAN](https://www.sigplan.org/Awards/Software/) Synopsis: OCaml wins 2023 ACM Programming Languages Software Award for its impact on research and tools. Words: 236 ## Related - [The AI French Connection to the Practice of Science](https://anil.recoil.org/notes/entente-cordiale) (note, 2025-12-01) - [About](https://anil.recoil.org/notes/index) (note, 2025-02-15) --- Canonical: https://anil.recoil.org/notes/acm-sigplan-award Type: note Tags: ocaml, award, acm, icfp