Type System Courses
Rust via YouTube Instances for Everyone - Generic Programming in Haskell
GOTO Conferences via YouTube Functional Correctness: Haskell-ing Your Way to Reliable Code - FSCK 2024
media.ccc.de via YouTube Plutus: Haskell for Blockchain Contract Development - YOW! 2019
GOTO Conferences via YouTube A Taste of ELPI - Introduction to Extensible Logic Programming Interpreter
Hausdorff Center for Mathematics via YouTube Lambda Expressions in Java
Pluralsight Domain Data Modeling using TypeScript Aliases, Brand Types and Value Objects
egghead.io Data Science Decisions in Time: Information Theory & Games
Johns Hopkins University via Coursera Introduction to Julia - Kickstart Workshop for Beginners
The Julia Programming Language via YouTube Dart: The Complete Developer's Guide
Zero To Mastery