José Valim

Creator of Elixir

Code Sync

1 standalone talk · 1 total lecture · 1h recorded

Computer Systems & Software Algorithms & Theoretical CS

Standalone talks by José Valim

Self-contained public lectures, keynote addresses, and research seminars.

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.