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