• Sign in
  • Sign up
conf.researchr.org / Gergő Lajos Turán
  • ICFP/SPLASH 2025 profile

Registered user since Fri 26 Sep 2025

Name:Gergő Lajos Turán
Affiliation:Eötvös Loránd University

Contributions

2025

Erlang

  • Author of Mechanised Proofs of Atom Exhaustion in Erlang within the Erlang-track
  • Author of Deriving an Erlang Interpreter from a Mechanised Formal Semantics of Core Erlang within the Erlang-track
Share
xTue 28 Oct 05:52
using conf.researchr.org (v1.72.1)
Support page
Sign Up