Functional Programming Courses
ACM SIGPLAN via YouTube Trace-Guided Inductive Synthesis of Recursive Functional Programs
ACM SIGPLAN via YouTube Parallelism in a Region Inference Context
ACM SIGPLAN via YouTube One-Pass CPS Translation of Dependent Types
ACM SIGPLAN via YouTube Decalf: A Directed, Effectful Cost-Aware Logical Framework
ACM SIGPLAN via YouTube Focusing on Refinement Typing - A Logically Principled Foundation
ACM SIGPLAN via YouTube Fusing Direct Manipulations into Functional Programs
ACM SIGPLAN via YouTube Disentanglement with Futures, State, and Interaction
ACM SIGPLAN via YouTube The Essence of Generalized Algebraic Data Types
ACM SIGPLAN via YouTube Efficient CHAD - Optimizing Combinatory Homomorphic Automatic Differentiation
ACM SIGPLAN via YouTube