BEAM Community
@erlang.bsky.social
erlang / OTP / elixir / gleam / BEAM-based languages
Reposted by BEAM Community
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
A Formalisation of Core Erlang, a Concurrent Actor Language. (arXiv:2311.10482v1 [cs.PL])
http://arxiv.org/abs/2311.10482
November 20, 2023 at 3:00 AM
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
A Formalisation of Core Erlang, a Concurrent Actor Language. (arXiv:2311.10482v1 [cs.PL])
http://arxiv.org/abs/2311.10482
👋 This account will be an unofficial hub for the Erlang/Elixir/BEAM community.
November 27, 2023 at 6:38 PM
👋 This account will be an unofficial hub for the Erlang/Elixir/BEAM community.