Marcin Benke

Showing 2 publications


Verifying Haskell Programs Using Constructive Type Theory

Andreas Abel, Marcin Benke, Ana Bove et al
Proceedings of the 2005 ACM SIGPLAN Workshop on Haskell
Paper in proceedings

Universes for Generic Programs and Proofs in Dependent Type Theory

Marcin Benke, Peter Dybjer, Patrik Jansson
Nordic Journal of Computing. Vol. 10 (4), p. 265-289
Journal article

Save references

If you have installed Zotero or Mendeley on your computer you can use a plugin to extract references from the publications you see.

Download plugins:

There are no projects.
There might be more projects where Marcin Benke participates, but you have to be logged in as a Chalmers employee to see them.