Formal polytypic programs and proofs (Q3070767)

From MaRDI portal
scientific article
Language Label Description Also known as
English
Formal polytypic programs and proofs
scientific article

    Statements

    title
    Formal polytypic programs and proofs (English)
    0 references
    author
    Wendy Verbruggen
    0 references
    Edsko Devries
    0 references
    Arthur Hughes
    0 references
    publication date
    26 January 2011
    0 references
    zbMATH DE Number
    5841874
    0 references
    zbMATH Keywords
    Coq
    0 references
    polytypic functions
    0 references
     
    Retrieved from "https://portal.mardi4nfdi.de/w/index.php?title=Item:Q3070767&oldid=35211106"
    Powered by MediaWiki