Submit a talk
Philip Wadler
@PhilipWadler
Events:
Full Stack Fest 2019
Talks
(Programming Languages) in Agda = Programming (Languages in Agda)
Philip Wadler
@
Full Stack Fest 2019