COCHIS: Stable and coherent implicits (Q4972074)

From MaRDI portal
Revision as of 04:47, 28 February 2024 by SwMATHimport240215 (talk | contribs) (‎Changed an Item)
scientific article; zbMATH DE number 7135422
Language Label Description Also known as
English
COCHIS: Stable and coherent implicits
scientific article; zbMATH DE number 7135422

    Statements

    title
    COCHIS: Stable and coherent implicits (English)
    0 references
    author
    Tom Schrijvers
    0 references
    Philip Wadler
    0 references
    Koar Marntirosian
    0 references
    publication date
    22 November 2019
    0 references
    zbMATH DE Number
    7135422
    0 references
    describes a project that uses
    Haskell
    0 references
    GHC
    0 references
    Idris
    0 references
     
    Retrieved from "https://portal.mardi4nfdi.de/w/index.php?title=Item:Q4972074&oldid=23030837"
    Powered by MediaWiki