Functional Programming Courses
ACM SIGPLAN via YouTube Apple Array Allocation - Static Memory Management for Flat, Immutable Arrays
ACM SIGPLAN via YouTube Equivalence by Canonicalization for Synthesis-Backed Refactoring
ACM SIGPLAN via YouTube Introducing BRAT: A Functional Programming Language for Quantum-Classical Hybrid Programs
ACM SIGPLAN via YouTube Predictable Inlining in OCaml - Flambda2 Heuristics and Inlining Histories
ACM SIGPLAN via YouTube Fully Abstract Normal Form Bisimulation for Call-by-Value PCF
ACM SIGPLAN via YouTube Proving and Disproving Equivalence of Functional Programming Assignments
ACM SIGPLAN via YouTube Better Defunctionalization through Lambda Set Specialization
ACM SIGPLAN via YouTube Efficient Parallel Functional Programming with Effects
ACM SIGPLAN via YouTube The Evolution of Effects in Functional Programming - From Monads to Higher-Order Effects
ACM SIGPLAN via YouTube