Coalgebras in functional programming and type theory (Q639643)

From MaRDI portal
Revision as of 11:48, 4 July 2024 by ReferenceBot (talk | contribs) (‎Changed an Item)
(diff) ← Older revision | Latest revision (diff) | Newer revision → (diff)
scientific article
Language Label Description Also known as
English
Coalgebras in functional programming and type theory
scientific article

    Statements

    title
    Coalgebras in functional programming and type theory (English)
    0 references
    author
    Venanzio Capretta
    0 references
    publication date
    22 September 2011
    0 references
    Mathematics Subject Classification ID
    68N18
    0 references
    03B70
    0 references
    68Q65
    0 references
    zbMATH DE Number
    5949168
    0 references
    zbMATH Keywords
    survey article
    0 references
    corecursive methods
    0 references
    describes a project that uses
    Agda
    0 references
    CIRC
    0 references
    Automath
    0 references
    Coq
    0 references
    Haskell
    0 references
    Nuprl
    0 references
    OpenAlex ID
    W2020914843
    0 references
    cites work
    Q4738111
    0 references
    Q2778813
    0 references
    Q4023900
    0 references
    Setoids in type theory
    0 references
    Q4717366
    0 references
    Q3360172
    0 references
    Q4790656
    0 references
    Q4272993
    0 references
    Q4492739
    0 references
    Q3978971
    0 references
    Q2863899
    0 references
    Q5472879
    0 references
    Functional pearl
    0 references
    Q3024837
    0 references
    Programming in Haskell
    0 references
    Q4099613
    0 references
    Q3328540
    0 references
    Q3688389
    0 references
    Q5752569
    0 references
    The view from the left
    0 references
    Q3999860
    0 references
    Q4247308
    0 references
    Q3907077
    0 references
    Q4870980
    0 references
    Q4939621
    0 references
     
    Retrieved from "https://portal.mardi4nfdi.de/w/index.php?title=Item:Q639643&oldid=35245806"
    Powered by MediaWiki