Lambda Days 2024 — Speakers

TS

Thodoris Sotiropoulos

Software Developer

Software Developer

Talks (1)

Well-typed Programs Can Go Wrong:(...)Type Checkers in Compilers

Talk 23:00 Well-typed Programs Can Go Wrong:(...)Type Checkers in Compilers

Thodoris Sotiropoulos

Lambda Days 2024