Verifying Higher−Order Functional Programs with Pattern Matching Algebraic Data Types
C.−H. Luke Ong and Steven J. Ramsay
Details
| Book Title |
Proceedings of 38th ACM SIGACT−SIGPLAN Symposium on the Principles of Programming Languages (POPL '11) |
| Year |
2011 |
Links
Related pages
|
People |