Robin P. Neatherway, Steven J. Ramsay, C.-H. Luke Ong
A traversal-based algorithm for higher-order model checking
ICFP, 2012.
@inproceedings{ICFP-2012-NeatherwayRO,
author = "Robin P. Neatherway and Steven J. Ramsay and C.-H. Luke Ong",
booktitle = "{Proceedings of the 17th International Conference on Functional Programming}",
doi = "10.1145/2364527.2364578",
editor = "Peter Thiemann and Robby Bruce Findler",
isbn = "978-1-4503-1054-3",
pages = "353--364",
publisher = "{ACM}",
title = "{A traversal-based algorithm for higher-order model checking}",
year = 2012,
}