Sound type-dependent syntactic language extension (Q2828257)

From MaRDI portal
scientific article
Language Label Description Also known as
English
Sound type-dependent syntactic language extension
scientific article

    Statements

    Sound type-dependent syntactic language extension (English)
    0 references
    0 references
    0 references
    24 October 2016
    0 references
    0 references
    0 references
    0 references
    0 references
    language extensibility
    0 references
    automatic verification
    0 references
    macros
    0 references
    metaprogramming
    0 references
    type soundness
    0 references
    type-dependent desugaring
    0 references
    0 references