etylizer: Set-theoretic Types for Erlang by Annette Bieniusa, Albert Schimpf | Code BEAM Europe 2023

Code Sync - etylizer: Set-theoretic Types for Erlang by Annette Bieniusa, Albert Schimpf | Code BEAM Europe 2023