A Fragment of ML Decidable by Visibly Pushdown Automata.

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

Browse the full ICALP paper archive.