An Adequate, Denotational, Functional-Style Semantics for Typed FlatCurry (Q3003516)

From MaRDI portal
scientific article
Language Label Description Also known as
English
An Adequate, Denotational, Functional-Style Semantics for Typed FlatCurry
scientific article

    Statements

    Identifiers