56:25
🔍 YouTube Search Results for "dependent types for practical use"
Found 20 results
21:54
40:56
"Idris: Practical Dependent Types with Practical Examples" by Brian McKenna
Strange Loop Conference
30.3K views
View & Download
2:37:00
38:36
"A Little Taste of Dependent Types" by David Christiansen
Strange Loop Conference
45.7K views
View & Download
37:51
40:44
1:01:25
48:37
26:30
37:27
A Little Taste of Dependent Types (David Thrane Christiansen)
flatMap (Oslo)
2.4K views
View & Download
18:03
48:28
38:42
18:59
29:10
What are dependent types? aka the Calculus of Construction (as a type wizard)
Eduardo Rafael
5.7K views
View & Download
4:22
14:59
53:39
Martin Elsman: Size-Dependent Types for Practical Data-Parallel Programming
Jeremy Gibbons
221 views
View & Download
36:55
A Gentle, Practical Introduction to Path-Dependent Types - David van Geest
flatMap (Oslo)
1.0K views
View & Download