Reposted by BEAM Communityarxiv cs.PL @arxiv-cs-pl.bsky.social · 20/11/2023Péter Bereczky, Dániel Horpácsi, Simon Thompson A Formalisation of Core Erlang, a Concurrent Actor Language. (arXiv:2311.10482v1 [cs.PL]) arxiv.org/abs/2311.10482 001
BEAM Community @erlang.bsky.social · 27/11/2023👋 This account will be an unofficial hub for the Erlang/Elixir/BEAM community. 070
