OCaml Courses
GOTO Conferences via YouTube Reactive Programming with Diff and Patch
GOTO Conferences via YouTube Functional Patterns in Ruby
Confreaks via YouTube osnap - Painless and Massive Regression Test Generation for OCaml
Code Sync via YouTube Using Smoke and Mirrors to Compile a Functional Programming Language to Efficient GPU Code
Code Sync via YouTube Verified Extraction from Coq to OCaml
ACM SIGPLAN via YouTube Hardware Implementation of OCaml Using a Synchronous Functional Language
ACM SIGPLAN via YouTube Predictable Inlining in OCaml - Flambda2 Heuristics and Inlining Histories
ACM SIGPLAN via YouTube Melocoton: A Program Logic for Verified Interoperability Between OCaml and C
ACM SIGPLAN via YouTube Better Defunctionalization through Lambda Set Specialization
ACM SIGPLAN via YouTube