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 SIGPLAN−SIGACT Symposium on Principles of Programming Languages‚ POPL 2011‚ Austin‚ TX‚ USA‚ January 26−28‚ 2011
Pages
587–598
Year
2011