Functional Programming Courses
ACM SIGPLAN via YouTube Formal Specification and Testing for Reinforcement Learning
ACM SIGPLAN via YouTube Higher-Order Property-Directed Reachability
ACM SIGPLAN via YouTube Programming for the Planet - Functional Programming for Climate Analysis
ACM SIGPLAN via YouTube Etna: An Evaluation Platform for Property-Based Testing - Experience Report
ACM SIGPLAN via YouTube Student Research Contest Talks - ICFP 2023
ACM SIGPLAN via YouTube Dependently-Typed Programming with Logical Equality Reflection
ACM SIGPLAN via YouTube The Verse Calculus: A Core Calculus for Deterministic Functional Logic Programming
ACM SIGPLAN via YouTube LURK: Lambda, the Ultimate Recursive Knowledge - A LISP-Based Language for zk-SNARKs
ACM SIGPLAN via YouTube Explicit Refinement Types - A Type Theory with Embedded Proofs
ACM SIGPLAN via YouTube