Type Theory

28 Março 2023, 15:00 • Alcides Fonseca

Exercises for designing new type systems.