Type System Courses
Codecademy Type-Driven API Design in Rust
Strange Loop Conference via YouTube Scala vs Idris - Dependent Types, Now and in the Future
Strange Loop Conference via YouTube Servo - Designing and Implementing a Parallel Browser
Strange Loop Conference via YouTube Shen - A Sufficiently Advanced Lisp
Strange Loop Conference via YouTube A Case for Generics in PHP
International PHP Conference via YouTube What Kind of Language is it?
International PHP Conference via YouTube What's New in PHP 8.1
PHP UK Conference via YouTube Denotational Design - From Meanings To Programs
GOTO Conferences via YouTube The Verification of a Distributed System
GOTO Conferences via YouTube