Lambda Days 2021 — Talks

Talk 25:00

Program Equivalence in Sequential Core Erlang

More great virtual tech conferences - https://codesync.global

Watch on YouTube

Speakers

Dániel Horpácsi

Formal methods researcher

Péter Bereczky

PhD Candidate and Assistant Lecturer at Eötvös Loránd University

Recorded at

Lambda Days 2021

February 16, 2021