Functional Programming Courses
ACM SIGPLAN via YouTube MacoCaml - Staging Composable and Compilable Macros
ACM SIGPLAN via YouTube Embedding by Unembedding - Extending HOAS for Complex Semantic Domains
ACM SIGPLAN via YouTube FP² - Fully in-Place Functional Programming
ACM SIGPLAN via YouTube A History of Subtyping
ACM SIGPLAN via YouTube GHC Status Report - Haskell Compiler Updates and Improvements
ACM SIGPLAN via YouTube The Best Multicore-Parallelization Refactoring You've Never Heard Of
ACM SIGPLAN via YouTube Fast Deep Learning with Categories
ACM SIGPLAN via YouTube Rank-Polymorphism for Shape-Guided Blocking
ACM SIGPLAN via YouTube Operational Game Semantics for Generative Algebraic Effects and Handlers
ACM SIGPLAN via YouTube