Imperative abstractions for functional actions (Q604455)

From MaRDI portal





scientific article; zbMATH DE number 5815218
Language Label Description Also known as
English
Imperative abstractions for functional actions
scientific article; zbMATH DE number 5815218

    Statements

    Imperative abstractions for functional actions (English)
    0 references
    0 references
    11 November 2010
    0 references
    fold
    0 references
    higher-order procedures
    0 references
    imperative programming
    0 references
    infinite data structures
    0 references
    lazy evaluation
    0 references
    non-strictness
    0 references
    program semantics
    0 references
    relations
    0 references
    unfold
    0 references
    0 references
    0 references

    Identifiers