Simon Thompson

Machine-checked natural semantics for Core Erlang: exceptions and side effects

2020

This 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. In order to formally reason about the definition of a …