"a little taste of dependent types" by david christiansen
Published 5 years ago • 38K plays • Length 38:36Download video MP4
Download video MP3
Similar videos
-
41:34
david christiansen - a little taste of types - code mesh 2017
-
40:56
"idris: practical dependent types with practical examples" by brian mckenna
-
38:42
"dependent types in haskell" by stephanie weirich
-
44:23
"hazel: a live functional programming environment with typed holes" by cyrus omar
-
43:26
"put a type on it: idris type providers for aws resources" by susan potter
-
40:14
"scala vs idris: dependent types, now and in the future" by miles sabin and edwin brady (2013)
-
3:57
how to fix type error: int object is not callable
-
40:57
"type-driven api design in rust" by will crichton
-
18:01
leetcode 1915. number of wonderful substrings
-
35:08
"proof theory impressionism: blurring the curry-howard line" by dan pittman
-
42:43
"propositions as types" by philip wadler
-
33:13
"pixie - a lightweight lisp with 'magical' powers" by timothy baldridge
-
39:40
"type-driven program synthesis" by nadia polikarpova
-
6:38
linear types - ivan cukic - meeting c secret lightning talks
-
41:55
"everything old is new again: quoted domain specific languages" by philip wadler
-
36:58
"a (not so gentle) introduction to systems programming in ats" by aditya siram
-
52:09
"how to teach programming (and other things)?" by felienne hermans