Fragments of ML Decidable by Nested Data Class Memory Automata.

Conrad Cotton-Barratt, David Hopkins, Andrzej S. Murawski, C.-H. Luke Ong

Browse the full FOSSACS paper archive.