Functional Programming Courses
ACM SIGPLAN via YouTube Complete First-Order Reasoning for Properties of Functional Programs - OOPSLA 2023
ACM SIGPLAN via YouTube Automated Translation of Functional Big Data Queries to SQL
ACM SIGPLAN via YouTube Live Pattern Matching with Typed Holes
ACM SIGPLAN via YouTube Functional Collection Programming with Semi-Ring Dictionaries
ACM SIGPLAN via YouTube Fluent APIs in Functional Languages
ACM SIGPLAN via YouTube Simple Reference Immutability for System F-sub
ACM SIGPLAN via YouTube Modern DSL Compiler Architecture in OCaml - Experience with Catala
ACM SIGPLAN via YouTube Deriving as a Library - Type Classes and Language Features
ACM SIGPLAN via YouTube Building Web Apps with Haskell and IHP - Lightning Talk
ACM SIGPLAN via YouTube