OCaml Courses
ACM SIGPLAN via YouTube Answer Refinement Modification: Refinement Type System for Algebraic Effects and Handlers
ACM SIGPLAN via YouTube PfComp: A Verified Compiler for Packet Filtering Leveraging Binary Decision Diagrams
ACM SIGPLAN via YouTube Osiris: An Iris-Based Program Logic for OCaml
ACM SIGPLAN via YouTube Owi: An Interpreter and Toolkit for WebAssembly in OCaml
ACM SIGPLAN via YouTube Building a Lock-Free STM for OCaml - OCaML'23
ACM SIGPLAN via YouTube Buck2 for OCaml Users and Developers
ACM SIGPLAN via YouTube Targeted Static Analysis for OCaml C Stubs - Eliminating Gremlins from the Code
ACM SIGPLAN via YouTube Efficient OCaml Compilation with Flambda 2
ACM SIGPLAN via YouTube State of the OCaml Platform 2023
ACM SIGPLAN via YouTube