Greater Than Code

152: Embracing Mathematics with Philip Wadler



October 16th, 2019  •  49 mins 32 secs  •  Download (52.1 MB)  •  Link with Timestamp

RSS Feed

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.