"scala vs idris: dependent types, now and in the future" by miles sabin and edwin brady (2013)
Published 3 years ago • 3.1K plays • Length 40:14Download video MP4
Download video MP3
Similar videos
-
55:37
edwin brady - idris: programming with dependent types
-
38:36
"a little taste of dependent types" by david christiansen
-
55:43
typelevel scala rebooted by miles sabin
-
1:17:25
dependent types in the idris programming language 1 - edwin brady - oplss 2017
-
5:39
should you learn a top paying programming language (advice from a scala developer)
-
35:00
scott kovach - managing game logic with rule systems - using relational programming to build games
-
20:00
inertia & magnetism: unveiling the fundamental mystery of the universe & its simplicity
-
44:04
"spores: distributable functions in scala" by heather miller (2013)
-
49:40
typelevel scala rebooted - miles sabin
-
17:46
scala 3: path-dependent types, methods and functions
-
1:00
seeing wife face for first time #shorts
-
21:39
dependent types: through the looking glass
-
38:48
"philosophy of scala macros" by eugene burmako (2013)
-
0:57
is #scala complicated?
-
37:39
shapeless: exploring generic programming in scala
-
41:28
"bootstrapping the web with scala native" by richard whaling
-
50:15
unsung heroes: less fashionable patterns in scala
-
15:54
speed, correctness, or simplicity: choose 3
-
16:46
the path to generic endpoints using shapeless - maria livia chiorean