My research has mainly been in Semantics of Computation, which is concerned with the development and analysis of mathematical structures that model computation using ideas and tools from Mathematical Logic. More recently my research has tended to be motivated by problems of an algorithmic nature. Here is a summary in HTML.
Verifying Higher−Order Functional Programs with Pattern Matching Algebraic Data Types
C.−H. Luke Ong and Steven J. Ramsay
In Proceedings of the 38th ACM SIGACT−SIGPLAN Symposium on the Principles of Programming Languages (POPL '11). 2011.
The Safe Lambda Calculus
William Blum and C.−H. Luke Ong
In Logic Methods in Computer Science. Vol. 5. No. 1. 2009.
Symbolic Backwards Reachability Analysis for Higher−Order Pushdown Systems
M. Hague and C.−H. L. Ong
In FoSSaCS. 2007.
- Pushdown Automata and Game Semantics
- Verifying Properties of the ML Family of Languages