Algebraic Data Types Courses
Devoxx Poland via YouTube The Imperatives Must Go! - Functional Programming Techniques in Modern C++
Meeting Cpp via YouTube Examples of Easy Dependently Typed Programming in Idris
Code Sync via YouTube Make Illegal States Unrepresentable - Techniques for Safer Code Design
Code Sync via YouTube Haskell Symposium 2024 - Session 3
ACM SIGPLAN via YouTube Haskell Symposium 2024 - Session 3
ACM SIGPLAN via YouTube Osiris: An Iris-Based Program Logic for OCaml
ACM SIGPLAN via YouTube Types that Change: The Extensible Type Design Pattern
ACM SIGPLAN via YouTube Bit-Stealing Made Legal: Compilation for Custom Memory Representations of Algebraic Data Types
ACM SIGPLAN via YouTube Exploring Algebraic Placement in Multiparty Languages - CP 2024
ACM SIGPLAN via YouTube