A case study of using FP and Erlang in a Computer Science Curriculum [video]

✨This talk was recorded at Code BEAM America 2022. If you’re curious about our upcoming event, check https://codebebeamamerica.com ✨Change can be hard, espec… Read more


Set-Theoretic Types for Erlang

Erlang is a functional programming language with dynamic typing. The language offers great flexibility for destructing values through pattern matching and dynamic type tests. Erlang also comes with a type language supporting parametric polymorphism, equi-... (more…)

Read more »