thorsten altenkirch - the power of π - lambda days 2020
Published 4 years ago • 2.1K plays • Length 42:42Download video MP4
Download video MP3
Similar videos
-
42:29
thorsten altenkirch - why type theory matters | lambda days 2019
-
33:55
juliano alves - enhancing the type system with refined types - lambda days 2020
-
21:30
philipp kant - fusing flexibility with formality (...) - lambda days 2020
-
18:12
seyed hossein haeri, peter van roy - a family of λ-calculi with ports - lambda days 2020
-
38:48
lambda days 2018 - clément delafargue - tdd as in type-driven development
-
47:19
carl seger - keynote: functional programming for hardware design (...) - lambda days 2020
-
44:01
andrew lelechenko - haskell for mathematical libraries - lambda days 2020
-
3:21
lambda days 2020 highlights
-
57:15
30 years of modelling communicating systems in a functional style - dame muffy calder | lambda days
-
21:51
ricardo peña - white-box path generation in recursive programs - lambda days 2020
-
41:37
tomas petricek - designing composable functional libraries (...) - lambda days 2020
-
43:52
einar høst - composition by juxtaposition: a postscript on functional geometry - lambda days 2020
-
43:57
maciej piróg - effect handlers: a new approach to computational effects - lambda days 2020