Completed
00:00 - - Intro
Class Central Classrooms beta
YouTube videos curated by Class Central.
Classroom Contents
What's New in Gradualizer: Type Checking Erlang and Elixir - Lambda Days 2022
Automatically move to the next video in the Classroom when playback concludes
- 1 00:00 - - Intro
- 2 04:37 - - Statically Typing Erlang: State of the Art
- 3 11:47 - - Quantitative Comparison
- 4 16:44 - - Demo: TypedServer in Elixir with Gradient
- 5 29:38 - - Qualitative Comparison on Selected Examples
- 6 39:32 - - Conclusions
- 7 42:28 - - What's new? What's Left to do?
- 8 45:00 - - Contribution + QnA