A Fragment of ML Decidable by Visibly Pushdown Automata
David Hopkins‚ Andrzej S. Murawski and C.−H. Luke Ong
Details
| Book Title |
ICALP |
| Pages |
149−161 |
| Year |
2011 |
Links
Related pages
|
People |