conf.directory

AgdaScript

1 talks about AgdaScript

(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