A Fragment of ML Decidable by Visibly Pushdown Automata

Chi tiết về thư mục
Những tác giả chính: Hopkins, D, Murawski, A, Ong, C
Định dạng: Conference item
Được phát hành: 2011