Functional Programming Courses
ACM SIGPLAN via YouTube Productivity Verification for Functional Programs by Reduction to Termination Verification
ACM SIGPLAN via YouTube Yaffle: A New Core for Idris 2
ACM SIGPLAN via YouTube Solving Constraints During Type Inference - WITS'24
ACM SIGPLAN via YouTube Type Inference for Application Spines in Higher-Order Languages - WITS'24
ACM SIGPLAN via YouTube Effectful Software Contracts - Design and Implementation
ACM SIGPLAN via YouTube Univalent Double Categories - Formalization and Applications in Category Theory
ACM SIGPLAN via YouTube All the Binaries Together: A Semantic Approach to Application Binary Interfaces
ACM SIGPLAN via YouTube Strongly-Typed Multi-View Stack-Based Computations
ACM SIGPLAN via YouTube Capture Tracking in Scala
ACM SIGPLAN via YouTube