(Programming Languages) in Agda = Programming (Languages in Agda) by Philip Wadler Channel: Codegram10K views • 29/06/2020Related Videos(Programming Languages) in Agda = Programming (Languages in Agda) • Philip Wadler • YOW! 2019Keynote: Programming Languages in Agda = Programming (...) - Philip Wadler | Lambda Days 2021Philip Wadler - “(Programming Languages) in Agda = Programming (Languages in Agda)” @ ZuriHac 2020Philip Wadler - Programming Language Foundations in Agda (HaskellX 2019 Keynote)
