@inproceedings{ong_ramsay_popl11,
  title = "Verifying Higher-Order Functional Programs with Pattern Matching Algebraic Data Types",
  author = "C.-H. Luke Ong and Steven J. Ramsay",
  year = "2011",
  booktitle = "Proceedings of the 38th ACM SIGACT-SIGPLAN Symposium on the Principles of Programming Languages (POPL '11)",
}
@article{lmcs09,
  title = "The Safe Lambda Calculus",
  author = "William Blum and C.-H. Luke Ong",
  year = "2009",
  affiliation = "Univesity of Oxford",
  journal = "Logic Methods in Computer Science",
  number = "1",
  publisher = "LMCS",
  url = "http://www.lmcs-online.org/ojs/viewarticle.php?id=424&layout=abstract",
  volume = "5",
  doi = "10.2168/LMCS-5(1:3)2009",
}
@inproceedings{HagueOng2007,
  title = "Symbolic Backwards Reachability Analysis for Higher-Order Pushdown Systems",
  author = "M. Hague and C.-H. L. Ong",
  year = "2007",
  booktitle = "FoSSaCS",
  note = "<a href="http://www.comlab.ox.ac.uk/people/matthew.hague/FoSSaCS07-long.pdf">Long Version (pdf)</a>",
}
@techreport{RR-04-23,
  title = "Safety is not a restriction at level 2 for string languages",
  author = "K. Aehlig and J. G. de Miranda and C.-H. L. Ong",
  year = "2004",
  institution = "Oxford University Computing Laboratory",
  month = "October",
  number = "RR-04-23",
}