The essence of Reynolds (Q736798)

From MaRDI portal
scientific article
Language Label Description Also known as
English
The essence of Reynolds
scientific article

    Statements

    The essence of Reynolds (English)
    0 references
    0 references
    0 references
    0 references
    5 August 2016
    0 references
    polymorphic \(\lambda\)-calculus
    0 references
    separation logic
    0 references
    parametricity
    0 references
    data abstraction
    0 references
    subtypes
    0 references
    defunctionalization
    0 references
    substructural logic and typing
    0 references
    possible world semantics
    0 references

    Identifiers