References to Gradualizer

[erszcz]

Main topic

• "Local Type Argument Synthesis for Erlang", David Pavlík, 2024

Mentions

• "Nominal Types for Erlang", Isabell Huang, John Högberg, Kiko Fernandez-Reyes, Tobias Wrigstad, 2024
• "Same Same but Different: A Comparative Analysis of Static Type Checkers in Erlang", Florian Berger, Albert Schimpf, Annette Bieniusa, Stefan Wehr, 2024
• "Set-theoretic Types for Erlang", Albert Schimpf, Stefan Wehr, Annette Bieniusa, 2023
• "Bidirectional Typing for Erlang", Nithin Vadukkumchery Rajendrakumar, Annette Bieniusa, 2021

Videos

• What’s new in Gradualizer: Type checking Erlang and Elixir | Radek Szymczyszyn | Lambda Days 2022
• Radek Szymczyszyn - What's new in Gradualizer? | Elixir Community Krakow 2022
• What's new in Gradualizer? Gradually typing Erlang & Elixir by Radek Szymczyszyn #CodeBEAMLite #FnConf 2022
• Péter Gömöri - Gradualizer: challenges implementing a type checker - ElixirConf EU 2019
• Josef Svenningsson - A gradual type system - Code BEAM STO 2018 - this is the original announcement by @josefs