@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)",
}