Bidirectional Type Checking
26:48
Type Driven Secure Enclave Development using Idris
51:01
Type Theory for Busy Engineers - Niko Matsakis
32:33
The Best Refactoring You’ve Never Heard Of
38:36
"A Little Taste of Dependent Types" by David Christiansen
1:43:13
Bidirectional Type Checking
22:57
Sound and Complete Bidirectional Typechecking for Higher-Rank Polymorphism with [...]
2:10:25
Positive JAZZ - Morning Music To Start The Day
4:00:37