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
2 years ago
0
1
0
0
Posts by BEAM Community
👋 This account will be an unofficial hub for the Erlang/Elixir/BEAM community.
2 years ago
7
0
0
0