conf.directory

Programming Language Foundations

1 talks about Programming Language Foundations

(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
Programming Language Foundations - Tech Conference Talks and Videos | conf.directory | conf.directory