Iteration and coiteration schemes for higher-order and nested datatypes (Q1770412)

From MaRDI portal
scientific article
Language Label Description Also known as
English
Iteration and coiteration schemes for higher-order and nested datatypes
scientific article

    Statements

    Iteration and coiteration schemes for higher-order and nested datatypes (English)
    0 references
    0 references
    0 references
    0 references
    6 April 2005
    0 references
    Higher-order datatypes
    0 references
    Generalized folds
    0 references
    Efficient folds
    0 references
    Iteration
    0 references
    Coiteration
    0 references
    System F\(^\omega\)
    0 references
    Higher-order polymorphism
    0 references
    Strong normalization
    0 references
    0 references
    0 references
    0 references

    Identifiers