conf.directory
Conferences
Watch Later
History
Toggle theme
Toggle theme
Toggle menu
Conferences
Watch Later
History
Propositions as Types - Tech Conference Talks and Videos | conf.directory | conf.directory
Propositions as Types
1 talks about Propositions as Types
01:00:05
Advanced
(Programming Languages) in Agda = Programming (Languages in Agda) • Philip Wadler • YOW! 2019
Philip Wadler
GOTO Conferences
0 views
May 4
2024
Watch Now
