A type-directed abstraction refinement approach to higher-order model checking.

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

Browse the full POPL paper archive.