A Traversal Based Algorithm for Higher−Order Model Checking
Robin P. Neatherway‚ C.−H. Luke Ong and Steven J. Ramsay
Book Title
Proceedings of the 17th ACM SIGPLAN International Conference on Functional Programming (ICFP '12)
Year
2012
Robin P. Neatherway‚ C.−H. Luke Ong and Steven J. Ramsay