Fragments of ML Decidable by Nested Data Class Memory Automata. - Conrad Cotton-Barratt; David Hopkins 002; Andrzej S. Murawski; C.-H. Luke Ong (FoSSaCS, 2015)

Weak and Nested Class Memory Automata. - Conrad Cotton-Barratt; Andrzej S. Murawski; C.-H. Luke Ong (LATA, 2015)

Using class memory automata in algorithmic game semantics. - Conrad Cotton-Barratt (2016)

ML and Extended Branching VASS. - Conrad Cotton-Barratt; Andrzej S. Murawski; C.-H. Luke Ong (ESOP, 2017)

ML, Visibly Pushdown Class Memory Automata, and Extended Branching Vector Addition Systems with States. - Conrad Cotton-Barratt; Andrzej S. Murawski; C.-H. Luke Ong (ACM Trans. Program. Lang. Syst., 2019)