OCaml Courses

Unboxed Data Constructors: Efficient and Safe Big Number Handling in ML Languages
ACM SIGPLAN via YouTube Melocoton - A Program Logic for Verified Interoperability Between OCaml and C
ACM SIGPLAN via YouTube Runtime Detection of Data Races in OCaml with ThreadSanitizer
ACM SIGPLAN via YouTube Less Power for More Learning - Restricting OCaml Features for Effective Teaching
ACM SIGPLAN via YouTube Modern DSL Compiler Architecture in OCaml - Experience with Catala
ACM SIGPLAN via YouTube

< Prev Page 6