23:17 [OCaML'23] Targeted Static Analysis for OCaml C Stubs: Eliminating gremlins from the code ACM SIGPLAN
19:54 [OCaML'23] Less Power for More Learning: Restricting OCaml Features for Effective Teaching ACM SIGPLAN