David Hopkins : Publications
|
[1] |
A Fragment of ML Decidable by Visibly Pushdown Automata David Hopkins‚ Andrzej S. Murawski and C.−H. Luke Ong In ICALP. Pages 149−161. 2011. |
|
[2] |
Homer: A Higher−order Observational equivalence Model checkER David Hopkins and Luke Ong In CAV 09. 2009. |