Dependent Types - salvation or plague | Lambda Days 2021
Vídeos relacionados
52:59
Introducing Nx - José Valim | Lambda Days 2021
42:29
Thorsten Altenkirch - Why Type Theory matters | Lambda Days 2019
38:36
"A Little Taste of Dependent Types" by David Christiansen
51:03
David McAllester - Dependent Type Theory from the Perspective of Mathematics, Physics, and (...)
43:23
Edwin Brady - Idris 2: Type-driven development of Idris | Code Mesh LDN 18
23:40
The Hardest Problem in Type Theory - Computerphile
58:15
Idris 2: Quantitative Types in Action - Edwin Brady
1:04:16
Simon Peyton-Jones: Escape from the ivory tower: the Haskell journey
48:28
Richard Eisenberg on Dependent Types
56:51
Turing Award Winner: Disagreeing with Google, Postgres, Future Problems | Mike Stonebraker
1:08:49
Why algebraic data types are important - Bartosz Milewski - code::dive 2018
1:10:07