Type System Courses
Code Sync via YouTube Bringing Elixir to Life - ElixirConf EU 2023
Code Sync via YouTube TypeCheck - Effortless Runtime Type Checking
Code Sync via YouTube The Work Done by Something Else - Exploring Declarative Programming
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 Stream Types - A Foundational Theory of Typed Data Streams and Stream Transformers
ACM SIGPLAN via YouTube Asynchronous Reactive Programming with Modal Types in Haskell
ACM SIGPLAN via YouTube Introducing BRAT: A Functional Programming Language for Quantum-Classical Hybrid Programs
ACM SIGPLAN via YouTube Circuit Width Estimation via Effect Typing and Linear Dependency
ACM SIGPLAN via YouTube