Idris, a general-purpose dependently typed programming language: Design and implementation (Q5398331)

From MaRDI portal
scientific article; zbMATH DE number 6262158
Language Label Description Also known as
English
Idris, a general-purpose dependently typed programming language: Design and implementation
scientific article; zbMATH DE number 6262158

    Statements

    Idris, a general-purpose dependently typed programming language: Design and implementation (English)
    0 references
    0 references
    27 February 2014
    0 references
    0 references
    functional programming language
    0 references
    Idris
    0 references
    implementation
    0 references
    syntax
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references