C.-H. Luke Ong - POPL 2016

Registered user since Thu 8 Oct 2015

Name: C.-H. Luke Ong

Affiliation: University of Oxford, UK

Contributions

POPL 2016	Author of Unboundedness and Downward Closures of Higher-Order Pushdown Automata within the Research Papers-track Author of T5: Higher-Order Model Checking within the Tutorials-track Session Chair of Track 2: Decidability and complexity (part of Research Papers)
Show activities from other conferences