Luke Ong : Publications
-
[1]
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 about Verifying Higher−Order Functional Programs with Pattern Matching Algebraic Data Types | BibTeX data for Verifying Higher−Order Functional Programs with Pattern Matching Algebraic Data Types | Download (pdf) of Verifying Higher−Order Functional Programs with Pattern Matching Algebraic Data Types
-
[2]
The Safe Lambda Calculus
William Blum and C.−H. Luke Ong
In Logic Methods in Computer Science. Vol. 5. No. 1. 2009.
Details about The Safe Lambda Calculus | BibTeX data for The Safe Lambda Calculus | DOI (10.2168/LMCS-5(1:3)2009) | Link to The Safe Lambda Calculus
-
[3]
Symbolic Backwards Reachability Analysis for Higher−Order Pushdown Systems
M. Hague and C.−H. L. Ong
In FoSSaCS. 2007.
Details about Symbolic Backwards Reachability Analysis for Higher−Order Pushdown Systems | BibTeX data for Symbolic Backwards Reachability Analysis for Higher−Order Pushdown Systems | Download (pdf) of Symbolic Backwards Reachability Analysis for Higher−Order Pushdown Systems
-
[4]
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 about Safety is not a restriction at level 2 for string languages | BibTeX data for Safety is not a restriction at level 2 for string languages | Download (ps) of Safety is not a restriction at level 2 for string languages