Verifying Haskell Programs Using Constructive Type Theory
Paper i proceeding, 2005

Författare

Andreas Abel

Chalmers, Data- och informationsteknik, Datavetenskap

Marcin Benke

Chalmers, Data- och informationsteknik, Datavetenskap

Ana Bove

Chalmers, Data- och informationsteknik, Datavetenskap

John Hughes

Chalmers, Data- och informationsteknik, Datavetenskap

Ulf Norell

Chalmers, Data- och informationsteknik, Datavetenskap

Proceedings of the 2005 ACM SIGPLAN Workshop on Haskell

Ämneskategorier

Datavetenskap (datalogi)

ISBN

1-59593-071-X