Axioms for strict and lazy functional programs (Q1772783)

From MaRDI portal
scientific article
Language Label Description Also known as
English
Axioms for strict and lazy functional programs
scientific article

    Statements

    Axioms for strict and lazy functional programs (English)
    0 references
    0 references
    21 April 2005
    0 references
    Functional programming
    0 references
    Call-by-value evaluation
    0 references
    Call-by-name evaluation
    0 references
    Monotonicity of evaluation
    0 references
    Context lemma
    0 references
    0 references
    0 references
    0 references

    Identifiers