OCaml Courses
ACM SIGPLAN via YouTube The Design and Implementation of an Abstract Interpreter for OCaml Programs - A Preliminary Report on the Salto Analyser
ACM SIGPLAN via YouTube Wasocaml: A Compiler from OCaml to WebAssembly - Lecture
ACM SIGPLAN via YouTube Layout Polymorphism: Using Static Computation for Efficient Polymorphism Over Variable Representations
ACM SIGPLAN via YouTube Exploring Perceus for OCaml - ML'23
ACM SIGPLAN via YouTube Flambda 2 Types: An Abstract Domain for Static Analysis of Functional Programs
ACM SIGPLAN via YouTube MacoCaml - Staging Composable and Compilable Macros
ACM SIGPLAN via YouTube A HAT Trick: Automatically Verifying Representation Invariants Using Symbolic Finite Automata - PLDI 2024
ACM SIGPLAN via YouTube Mostly Automated Proof Repair for Verified Libraries
ACM SIGPLAN via YouTube Formally Verified Samplers from Probabilistic Programs with Loops and Conditioning
ACM SIGPLAN via YouTube