conf.directory
Conferences
Watch Later
History
Toggle theme
Toggle theme
Toggle menu
Conferences
Watch Later
History
Dependent type theory - Tech Conference Talks and Videos | conf.directory | conf.directory
Dependent type theory
3 talks about Dependent type theory
40:10
Advanced
Cadenza: Building Fast Functional Languages Fast • Edward Kmett • YOW! 2020
Edward Kmett
GOTO Conferences
2,259 views
May 29
2023
Watch Now
50:16
Intermediate
Move Deliberately & Don't Break Anything • Brian Goetz • GOTO 2015
Brian Goetz
GOTO Conferences
0 views
October 21
2015
Watch Now
20:47
Intermediate
Zach Carter: Armchair Type Theory [JSConf2014]
Zach Carter
JSConf EU
0 views
July 28
2014
Watch Now
![Zach Carter: Armchair Type Theory [JSConf2014]](/_next/image?url=https%3A%2F%2Fi.ytimg.com%2Fvi%2FY3PyAaTgX_0%2Fhqdefault.jpg&w=2048&q=75)