Fragments of ML Decidable by Nested Data Class Memory Automata

Conrad Cotton-Barratt, David Hopkins, Andrzej S. Murawski +1

The call-by-value language RML may be viewed as a canonical restriction of Standard ML to ground-type references, augmented by a "bad variable" construct in the sense of Reynolds.…