System \(T\), call-by-value and the minimum problem (Q1274979)

From MaRDI portal
scientific article
Language Label Description Also known as
English
System \(T\), call-by-value and the minimum problem
scientific article

    Statements

    System \(T\), call-by-value and the minimum problem (English)
    0 references
    0 references
    0 references
    12 January 1999
    0 references
    typed lambda-calculus
    0 references
    functional programming
    0 references

    Identifiers