Marcin Benke

Visar 2 publikationer

2005

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 i proceeding
2003

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
Artikel i vetenskaplig tidskrift

Ladda ner publikationslistor

Du kan ladda ner denna lista till din dator.

Filtrera och ladda ner publikationslista

Som inloggad användare hittar du ytterligare funktioner i MyResearch.

Du kan även exportera direkt till Zotero eller Mendeley genom webbläsarplugins. Dessa hittar du här:

Zotero Connector
Mendeley Web Importer

Det finns inga projekt att visa.
Det kan finnas fler projekt där Marcin Benke medverkar, men du måste vara inloggad som anställd på Chalmers för att kunna se dem.