1:19:05
🔍 YouTube Search Results for "idris general purpose programming with dependent types"
Found 18 results
55:37
40:38
Type-driven Development of Communicating Systems in Idris by Edwin Brady
Lambda World
7.8K views
View & Download
40:56
"Idris: Practical Dependent Types with Practical Examples" by Brian McKenna
Strange Loop Conference
30.3K views
View & Download
38:50
57:31
38:36
"A Little Taste of Dependent Types" by David Christiansen
Strange Loop Conference
45.7K views
View & Download
1:18:30
56:54
46:31
Edwin Brady - Type-driven Development of Communicating Systems in Idris
Erlang Solutions
1.3K views
View & Download
1:17:25
48:05
40:14
"Scala vs Idris: Dependent types, now and in the future" by Miles Sabin and Edwin Brady (2013)
Strange Loop Conference
4.0K views
View & Download
1:20:54
4:15
14:53
26:48
46:36