Péter Bereczky, Dániel Horpácsi, Simon J. Thompson. A Proof Assistant Based Formalisation of a Subset of Sequential Core Erlang. In Aleksander Byrski, John Hughes, editors, Trends in Functional Programming - 21st International Symposium, TFP 2020, Krakow, Poland, February 13-14, 2020, Revised Selected Papers. Volume 12222 of Lecture Notes in Computer Science, pages 139-158, Springer, 2020. [doi]
Abstract is missing.