A Fragment of ML Decidable by Visibly Pushdown Automata

Bibliografski detalji
Glavni autori: Hopkins, D, Murawski, A, Ong, C
Format: Conference item
Izdano: 2011