Luke Ong : Publications

The Safe Lambda Calculus

William Blum and C.−H. Luke Ong

In Logic Methods in Computer Science. Vol. 5. No. 1. 2009.

Details | BibTeX | DOI (10.2168/LMCS-5(1:3)2009) | Link

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.

Details | BibTeX | Download  (pdf)

Symbolic Backwards Reachability Analysis for Higher−Order Pushdown Systems

M. Hague and C.−H. L. Ong

In FoSSaCS. 2007.

Long Version (pdf)

Details | BibTeX | Download  (pdf)

Safety is not a restriction at level 2 for string languages

K. Aehlig‚ J. G. de Miranda and C.−H. L. Ong

No. RR−04−23. Oxford University Computing Laboratory. October, 2004.

Details | BibTeX | Download  (ps)