10 citations · 18 across the 10 of their papers we have counts for
1 paper · 1 filter
Péter Bereczky, Dániel Horpácsi, Simon Thompson
We present a small-step, frame stack style, semantics for sequential Core Erlang, a dynamically typed, impure functional programming language. The semantics and the properties that…