Lambda Days 2024 — Speakers

PW

Philip Wadler

Professor, University of Edinburgh

Renowned computer scientist, co-designer of Haskell, contributor to Java generics.

Talks (3)

Keynote: The Two Cultures of Artifical Intelligence

Keynote 53:00 Keynote: The Two Cultures of Artifical Intelligence

Lambda Days 2024

Keynote: Programming Languages in Agda = Programming Language Properties

Keynote 53:00 Keynote: Programming Languages in Agda = Programming Language Properties

Lambda Days 2021

Propositions as Types

Keynote 57:00 Propositions as Types

Lambda Days 2016