Pattern matching as cut elimination (Q1882898)

From MaRDI portal
scientific article
Language Label Description Also known as
English
Pattern matching as cut elimination
scientific article

    Statements

    title
    Pattern matching as cut elimination (English)
    0 references
    author
    Serenella Cerrito
    0 references
    Delia Kesner
    0 references
    publication date
    1 October 2004
    0 references
    zbMATH DE Number
    2105256
    0 references
    zbMATH Keywords
    typed pattern calculus
    0 references
    describes a project that uses
    MiniML
    0 references
    ML
    0 references
    Miranda
    0 references
    Haskell
    0 references
    OpenAlex ID
    W2021119395
    0 references
     
    Retrieved from "https://portal.mardi4nfdi.de/w/index.php?title=Item:Q1882898&oldid=34371102"
    Powered by MediaWiki