Functional Programming Courses
ACM SIGPLAN via YouTube Automated Datastructure Verification Using Unfoldings and SMT Solving - Foundations and FO-Completeness
ACM SIGPLAN via YouTube A Type System for Elixir
ACM SIGPLAN via YouTube Vehicle - A Specification Language for Neural Network Properties
ACM SIGPLAN via YouTube A Functional EDSL for Mathematics Visualization That Compiles to JavaScript - Demo
ACM SIGPLAN via YouTube Semi-Automated Direction-Driven Functional Conversion - miniKanren'23
ACM SIGPLAN via YouTube Efficient OCaml Compilation with Flambda 2
ACM SIGPLAN via YouTube State of the OCaml Platform 2023
ACM SIGPLAN via YouTube Parallel Sequences in Multicore OCaml
ACM SIGPLAN via YouTube Functional Programming in the Large - Status and Perspective
ACM SIGPLAN via YouTube