Verifying haskell programs using constructive type theory

Andreas Abel, Marcin Benke, Ana Bove, John Hughes, Ulf Norell. Verifying haskell programs using constructive type theory. In Daan Leijen, editor, Proceedings of the ACM SIGPLAN Workshop on Haskell, Haskell 2005, Tallinn, Estonia, September 30, 2005. pages 62-73, ACM, 2005. [doi]

Authors

Andreas Abel

This author has not been identified. It may be one of the following persons: Look up 'Andreas Abel' in Google

Marcin Benke

This author has not been identified. Look up 'Marcin Benke' in Google

Ana Bove

This author has not been identified. Look up 'Ana Bove' in Google

John Hughes

Identified as John Hughes

Ulf Norell

Identified as Ulf Norell