October 16th, 2019 • 49 mins 32 secs • Download (52.1 MB) • Link with Timestamp
Philip Wadler talks about Programming Language Foundations in Agda, using a proof assistant, specifications, and how to translate abstract concepts so practitioners can use them.