OCaml Courses and Certifications

OCaml

Explore OCaml's powerful type system and multi-paradigm approach. Learn functional, imperative, and object-oriented programming while solving diverse coding challenges.

• Exercism
• On-Demand
• Free Online Course

Learn functional programming and data structures in OCaml, emphasizing semantics and software engineering. Master efficient coding, correctness, and beautiful design through hands-on examples and practical exercises.

• Independent
• On-Demand
• Free Online Course

Comprehensive guide to OCaml programming language, covering core concepts, advanced features, tools, and libraries for efficient functional and object-oriented development.

• Independent
• On-Demand
• Free Online Course

Ocaml is a concise, performant, statically typed, and pure functionnal language.

• Independent
• On-Demand
• Free Online Course

Explore functional programming with OCaml, covering basics to advanced topics like type-directed programming, data structures, and algorithm implementation. Gain hands-on experience through practical exercises.

• Independent
• On-Demand
• Free Online Course

Introduction to Functional Programming in OCaml

Discover functional programming fundamentals through OCaml, covering data types, functions, recursion, modules, and imperative features with hands-on examples and real-world applications.

• YouTube
• 7 hours 55 minutes
• On-Demand
• Free Video

ACM SIGPLAN

State of the OCaml Platform 2023

Explore a decade of OCaml Platform progress, recent advancements, and future roadmap. Gain insights into key milestones, community feedback, and plans shaping the OCaml developer experience.

• YouTube
• 22 minutes
• On-Demand
• Free Video

ACM SIGPLAN

Melocoton - A Program Logic for Verified Interoperability Between OCaml and C

Explore Melocoton, a groundbreaking program logic for verifying interactions between OCaml and C components through OCaml's foreign function interface, featuring a formal semantics and Coq mechanization.

• YouTube
• 18 minutes
• On-Demand
• Free Video

ACM SIGPLAN

Runtime Detection of Data Races in OCaml with ThreadSanitizer

Explore runtime detection of data races in OCaml using ThreadSanitizer. Learn core principles, challenges, adaptations, and practical application for reliable parallel code development.

• YouTube
• 19 minutes
• On-Demand
• Free Video

ACM SIGPLAN

Less Power for More Learning - Restricting OCaml Features for Effective Teaching

Explore a framework for sandboxing OCaml features to automate grading of programming exercises, including feature restriction, mock IO system, and security considerations.

• YouTube
• 20 minutes
• On-Demand
• Free Video

ACM SIGPLAN

Modern DSL Compiler Architecture in OCaml - Experience with Catala

Explore state-of-the-art DSL implementation in OCaml, featuring concrete examples and insights from the Catala compiler for legal algorithms.

• YouTube
• 20 minutes
• On-Demand
• Free Video

Code Sync

osnap - Painless and Massive Regression Test Generation for OCaml

Explore osnap, an OCaml library for effortless generation of massive regression tests using snapshot testing and random scenario generation, inspired by property-based testing.

• YouTube
• 21 minutes
• On-Demand
• Free Video

ACM SIGPLAN

Hardware Implementation of OCaml Using a Synchronous Functional Language

Explore Éclat, a functional language for hardware applications, and its implementation of an OCaml virtual machine on FPGAs, showcasing real-time interaction and customizable runtime.

• YouTube
• 28 minutes
• On-Demand
• Free Video

ACM SIGPLAN

Predictable Inlining in OCaml - Flambda2 Heuristics and Inlining Histories

Explore OCaml's inlining heuristics in Flambda2 and learn about "Inlining histories" for visualizing compiler decisions.

• YouTube
• 37 minutes
• On-Demand
• Free Video

ACM SIGPLAN

Melocoton: A Program Logic for Verified Interoperability Between OCaml and C

Explore Melocoton, a groundbreaking program logic for verifying interactions between OCaml and C components through OCaml's foreign function interface, mechanized in Coq using Iris.

• YouTube
• 1 hour 2 minutes
• On-Demand
• Free Video