Quiero proporcionar pruebas de partes de un programa de Haskell que estoy escribiendo como parte de mi tesis. Hasta ahora, sin embargo, no pude encontrar un buen trabajo de referencia.
El libro introductorio de Graham Hutton Programming in Haskell ( Google Books ), que leí mientras aprendía Haskell, aborda algunas técnicas para razonar sobre programas como
- razonamiento equitativo
- utilizando patrones no superpuestos
- lista de inducción
en el capítulo 13 pero no es muy profundo.
¿Hay algún libro o artículo que pueda recomendar que proporcione una descripción más detallada de las técnicas formales de prueba para Haskell u otro código funcional?