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-… Read more

Read full article

Similar

Backwater: RPC Framework for Erlang and Elixir

We recommend upgrading to the latest Safari, Google Chrome, or Firefox. (more…)

Erlang/OTP 20.0 is released

Erlang/OTP 20.0 is a new major release with new features, quite a few (characteristics) improvements, as well as a few incompatibilities. (more…)

Eqwalizer: WhatsApp’s Erlang Type Checker

A type-checker for Erlang. Contribute to WhatsApp/eqwalizer development by creating an account on GitHub. (more…)

Cuter – concolic testing tool for Erlang

A concolic testing tool for the Erlang functional programming language. - GitHub - cuter-testing/cuter: A concolic testing tool for the Erlang functional programming language. (more…)

Erlang Programming Language [video]

Introducing Erlang - with Francesco Cesarini Technical Director of Erlang Solutions. https://www.facebook.com/computerphile https://twitter.com/computer_phil... (more…)

Latest News

How to spot an AI-generated image

Awesome AI Coding List

Levi’s will now be using AI models to show off denim