University of Oxford Logo University of OxfordDepartment of Computer Science - Home

Steven Ramsay : Publications

By dateBy titleBy typeBibtex

Click here to download all publications in a single bibtex file

@inproceedings{neatherway-et-al-icfp2012,
  title = "A Traversal Based Algorithm for Higher-Order Model Checking",
  author = "Robin P. Neatherway and C.-H. Luke Ong and Steven J. Ramsay",
  year = "2012",
  booktitle = "Proceedings of the 17th ACM SIGPLAN International Conference on Functional Programming (ICFP '12)",
}
@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)",
}
@techreport{lester-et-al-2010,
  title = "Model Checking Liveness Properties of Higher-Order Functional Programs",
  author = "Martin M. Lester and Robin P. Neatherway and C.-H. Luke Ong and Steven J. Ramsay",
  year = "2010",
}