Verifying Haskell Programs Using Constructive Type Theory
Paper in proceedings, 2005

Author

Andreas Abel

Chalmers, Computer Science and Engineering (Chalmers), Computing Science (Chalmers)

Marcin Benke

Chalmers, Computer Science and Engineering (Chalmers), Computing Science (Chalmers)

Ana Bove

Chalmers, Computer Science and Engineering (Chalmers), Computing Science (Chalmers)

John Hughes

Chalmers, Computer Science and Engineering (Chalmers), Computing Science (Chalmers)

Ulf Norell

Chalmers, Computer Science and Engineering (Chalmers), Computing Science (Chalmers)

Proceedings of the 2005 ACM SIGPLAN Workshop on Haskell

Subject Categories

Computer Science

ISBN

1-59593-071-X

More information

Created

10/7/2017