Code Sync

1 standalone talk · 1 total lecture · 1 faculty & speakers · 1h recorded

Computer Systems & Software Algorithms & Theoretical CS

Faculty & visiting speakers

José Valim1

Talks & colloquia from Code Sync

Self-contained seminars, public lectures, and invited talks.

1:02:16

Systems & CS·Conference Talk

Set-Theoretic Types from Scratch

José Valim·Code Sync

José Valim delves into the foundational concepts of set-theoretic type systems, demonstrating their construction through live coding for the Elixir language.