OCaml
Past Presentations
Fast, Flexible and Functional Programming With OCaml
OCaml is a fast, natively compiled programming language with imperative, object-oriented and functional features. It is over two decades old now, and is often used in niche but safety-critical areas such as formal verification (in Coq, Compcert). In recent years however, it has emerged as a...
Anil Madhavapeddy
University Lecturer @Cambridge_CL (Cambridge Computer Laboratory)
Gemma Gordon
Operations Director at OCaml Labs, University of Cambridge Computer Laboratory