Skip to main content

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