BEAM Community
@erlang.bsky.social
📤 564
đź“Ą 34
đź“ť 1
erlang / OTP / elixir / gleam / BEAM-based languages
reposted by
BEAM Community
arxiv cs.PL
over 2 years ago
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
0
0
1
đź‘‹ This account will be an unofficial hub for the Erlang/Elixir/BEAM community.
over 2 years ago
0
7
0
you reached the end!!
feeds!
log in