Péter Bereczky, Dániel Horpácsi, Simon Thompson A Formalisation of Core Erlang, a Concurrent Actor Language. (arXiv:2311.10482v1 [cs.PL]) http://arxiv.org/abs/2311.10482
BEAM Community
@erlang.bsky.social
erlang / OTP / elixir / gleam / BEAM-based languages
👋 This account will be an unofficial hub for the Erlang/Elixir/BEAM community.