A traversal-based algorithm for higher-order model checking.

Robin P. Neatherway, Steven J. Ramsay, C.-H. Luke Ong

Browse the full ICFP paper archive.