The BEAM Book – A Description of the Erlang RTS and the Virtual Machine BEAM

theBeamBook – A description of the Erlang Runtime System ERTS and the virtual Machine BEAM. 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 »