Verifying Haskell programs using constructive type theory (2005)
Cached
Download Links
- [www.cs.chalmers.se]
- [www.md.chalmers.se]
- [www.tcs.informatik.uni-muenchen.de]
- DBLP
Other Repositories/Bibliography
by
Andreas Abel
,
Marcin Benke
,
Ana Bove
,
John Hughes
,
Ulf Norell
| Venue: | In Haskell’05 |
| Citations: | 6 - 0 self |
Document Versions
| Verifying Haskell programs using constructive type theory –Andreas Abel, Marcin Benke, Ana Bove, John Hughes, Ulf Norell — 2005 — In Haskell’05 |
| Verifying Haskell programs using constructive type theory –Andreas Abel, Marcin Benke, Ana Bove, John Hughes, Ulf Norell — 2005 — In Haskell’05 |
