Not registered as user yet

Name:Dániel Horpácsi
Country:Hungary
Affiliation:Eötvös Loránd University

Contributions

Erlang 2020 Author of Machine-Checked Natural Semantics for Core Erlang: Exceptions and Side Effects within the Erlang 2020-track