@inproceedings{DBLP:conf/popl/OngR11,
  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} {SIGPLAN-SIGACT} Symposium on Principles of Programming Languages, {POPL} 2011, Austin, TX, USA, January 26-28, 2011",
  pages = "587--598",
}