Keynote 53:00

Keynote: Programming Languages in Agda = Programming Language Properties

Name: Keynote: Programming Languages in Agda = Programming Language Properties
Description: More great virtual tech conferences - https://codesync.global

More great virtual tech conferences - https://codesync.global

Watch on YouTube

Speakers

Philip Wadler

Professor, University of Edinburgh

Recorded at

Lambda Days 2021

Online

February 16, 2021