5:59
🔍 YouTube Search Results for "dependent types programming as proof"
Found 20 results
11:25
38:36
"A Little Taste of Dependent Types" by David Christiansen
Strange Loop Conference
45.7K views
View & Download
1:01:05
6:11
40:56
"Idris: Practical Dependent Types with Practical Examples" by Brian McKenna
Strange Loop Conference
30.3K views
View & Download
37:27
A Little Taste of Dependent Types (David Thrane Christiansen)
flatMap (Oslo)
2.4K views
View & Download
56:25
2:26:54
1:17:25
1:01:25
14:59
20:17
1:18:30
38:42
31:17
55:37
18:59
14:13
28:37