Functional Programming Courses
ACM SIGPLAN via YouTube Semantic Encapsulation Using Linking Types
ACM SIGPLAN via YouTube Multi-phase Computation as an Applicative Functor
ACM SIGPLAN via YouTube The Principles of the Flix Programming Language
ACM SIGPLAN via YouTube Contextualized Programming Language Documentation - Enhancing Learning with Adaptive Explanations
ACM SIGPLAN via YouTube Lang-n-Prove: A Domain-Specific Language for Language Proofs
ACM SIGPLAN via YouTube A HAT Trick: Automatically Verifying Representation Invariants Using Symbolic Finite Automata - PLDI 2024
ACM SIGPLAN via YouTube Associated Effects: Flexible Abstractions for Effectful Programming
ACM SIGPLAN via YouTube A Verified Compiler for a Functional Tensor Language - PLDI 2024
ACM SIGPLAN via YouTube Scaling Decision-Theoretic Probabilistic Programming Through Factorization
ACM SIGPLAN via YouTube