Steven Ramsay : Publications
|
[1] |
Verifying Higher−Order Functional Programs with Pattern Matching Algebraic Data Types C.−H. Luke Ong and Steven J. Ramsay In Proceedings of 38th ACM SIGACT−SIGPLAN Symposium on the Principles of Programming Languages (POPL '11). 2011. |