Péter Bereczky, Dániel Horpácsi, Simon J. Thompson. Machine-checked natural semantics for Core Erlang: exceptions and side effects. In Annette Bieniusa, Viktória Fördós, editors, Proceedings of the 19th ACM SIGPLAN International Workshop on Erlang, Erlang@ICFP 2020, Virtual Event, USA, August 23, 2020. pages 1-13, ACM, 2020. [doi]
Abstract is missing.