Recursion Courses
Wolfram via YouTube Proving and Disproving Equivalence of Functional Programming Assignments
ACM SIGPLAN via YouTube Nominal Recursors as Epi-Recursors - POPL 2024
ACM SIGPLAN via YouTube More Fixpoints - Solving Recursive Problems in Haskell
ACM SIGPLAN via YouTube Higher-Order Property-Directed Reachability
ACM SIGPLAN via YouTube Compiling Probabilistic Programs for Variable Elimination with Information Flow
ACM SIGPLAN via YouTube Parametric Subtyping for Structural Parametric Polymorphism
ACM SIGPLAN via YouTube Unboxed Data Constructors: Efficient and Safe Big Number Handling in ML Languages
ACM SIGPLAN via YouTube Mobius: Synthesizing Relational Queries with Recursive and Invented Predicates
ACM SIGPLAN via YouTube How I Won the APL Problem Solving Competition - Student Winner's Experience
Dyalog User Meetings via YouTube