lambda days 2018 - philip wadler - categories for the working hacker
Published 6 years ago • 5.3K plays • Length 1:10:30Download video MP4
Download video MP3
Similar videos
-
55:29
keynote: propositions as types - philip wadler
-
56:58
philip wadler - propositions as types (lambda days 2016)
-
47:12
lambda days 2018 - tomas petricek - rethinking compilers with live coding
-
48:13
lambda days 2018 - josé valim- introducing hdd: hughes driven development
-
24:48
lambda days 2018 - bartłomiej górny - healthy side of functional programming
-
38:27
lambda world 2018 - what haskell taught us when we weren't looking - eric torreborre
-
50:52
category theory for the working hacker by philip wadler
-
53:33
genstage and flow - josé valim (lambda days 2017)
-
41:15
lambda days 2018 - valentin kasas - these 10000 classes i never wrote
-
43:23
lambda days 2018 - piotr moczurad - visual-textual functional programming with luna
-
33:35
lambda days 2018 - andrey kuzmin - bringing the fun to graphics programming
-
3:38
lambda days 2018 - #5yearsoflambda
-
53:06
keynote: programming languages in agda = programming (...) - philip wadler | lambda days 2021
-
42:43
"propositions as types" by philip wadler
-
19:45
lambda days 2018 - tracing of large-scale actor systems - michał ciołczyk, mariusz wojakowski
-
46:32
lambda days 2018 - maximilian algehed - quickspec: a lightweight theory exploration tool (...)