Finitary Semantics for Full Ground Local State

Orpheas van Rooij, Ohad Kammar, Sam Lindley +1

Full ground local state (FGLS) refers to dynamically allocated mutable state that allows storing ground values and references. It is a key ingredient in many imperative algorithms…