Formal validation of pattern matching code (2005)

by C Kirchner, P-E Moreau, A Reilles
Venue:In PPDP ’05: Proceedings of the 7th ACM SIGPLAN international conference on Principles and practice of declarative programming