conf.directory

Propositions as Types

1 talks about Propositions as Types

(Programming Languages) in Agda = Programming (Languages in Agda) • Philip Wadler • YOW! 2019
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
Propositions as Types - Tech Conference Talks and Videos | conf.directory | conf.directory