Dániel Horpácsi -

Registered user since Wed 8 Feb 2023

Name:Dániel Horpácsi

Country:Hungary

Affiliation:Eötvös Loránd University

Contributions

EVCS	Author of Refactoring = Substitution + Rewriting: Towards Generic, Language-Independent Refactorings within the Eelco Visser Commemorative Symposium-track
Erlang 2020	Author of Machine-Checked Natural Semantics for Core Erlang: Exceptions and Side Effects within the Erlang 2020-track