Haskell Courses
Code Sync via YouTube A Hitchhiker's Guide to Linearity - Lambda Days 2023
Code Sync via YouTube Beyond Functional Programming: A Taste of Verse - Lambda Days 2023
Code Sync via YouTube Generalizing Payment as Types - Haskell-Based Specification for Continuous Money Transfer
Code Sync via YouTube Approximate Knowledge Synthesis with Refinement Types
Code Sync via YouTube Using Smoke and Mirrors to Compile a Functional Programming Language to Efficient GPU Code
Code Sync via YouTube Effectful: A New Approach to Effects in Haskell
Code Sync via YouTube Orthotope - APL-Inspired Arrays for Haskell - Lambda Days 2022
Code Sync via YouTube Haskell Symposium 2024 - Session 3
ACM SIGPLAN via YouTube Haskell Symposium 2024 - Session 3
ACM SIGPLAN via YouTube