Haskell Courses
ACM SIGPLAN via YouTube Efficient Loops in Arrowized Functional Reactive Programming - Haskell 2023
ACM SIGPLAN via YouTube More Fixpoints - Solving Recursive Problems in Haskell
ACM SIGPLAN via YouTube Etna: An Evaluation Platform for Property-Based Testing - Experience Report
ACM SIGPLAN via YouTube Dependently-Typed Programming with Logical Equality Reflection
ACM SIGPLAN via YouTube Modal FRP for All: Functional Reactive Programming Without Space Leaks in Haskell
ACM SIGPLAN via YouTube Trustworthy Runtime Verification via Bisimulation - Experience Report
ACM SIGPLAN via YouTube Towards Higher-level Abstractions for Molecular Programming
ACM SIGPLAN via YouTube GHC Status Report - Haskell Compiler Updates and Improvements
ACM SIGPLAN via YouTube Integrating Liquid Haskell with GHC - Challenges and Trade-offs
ACM SIGPLAN via YouTube