Steven Ramsay : Publications
Conference papers
|
[1] |
A Traversal Based Algorithm for Higher−Order Model Checking Robin P. Neatherway‚ C.−H. Luke Ong and Steven J. Ramsay In Proceedings of the 17th ACM SIGPLAN International Conference on Functional Programming (ICFP '12). 2012. |
|
[2] |
Verifying Higher−Order Functional Programs with Pattern Matching Algebraic Data Types C.−H. Luke Ong and Steven J. Ramsay In Proceedings of the 38th ACM SIGACT−SIGPLAN Symposium on the Principles of Programming Languages (POPL '11). 2011. |
Technical reports
|
[1] |
Model Checking Liveness Properties of Higher−Order Functional Programs Martin M. Lester‚ Robin P. Neatherway‚ C.−H. Luke Ong and Steven J. Ramsay 2010. |