Talk 22:00

Imagine a Dependently Typed Python

Abstract