A Fragment of ML Decidable by Visibly Pushdown Automata

Bibliografske podrobnosti
Main Authors: Hopkins, D, Murawski, A, Ong, C
Format: Conference item
Izdano: 2011