1 code implementation • 24 May 2020 • Péter Bereczky, Dániel Horpácsi, Simon Thompson
Our research is part of a wider project that aims to investigate and reason about the correctness of scheme-based source code transformations of Erlang programs.
Programming Languages