A Functional Abstraction of Typed Invocation Contexts (Q5043596)

From MaRDI portal
scientific article; zbMATH DE number 7596582
Language Label Description Also known as
English
A Functional Abstraction of Typed Invocation Contexts
scientific article; zbMATH DE number 7596582

    Statements

    A Functional Abstraction of Typed Invocation Contexts (English)
    0 references
    0 references
    0 references
    0 references
    0 references
    6 October 2022
    0 references
    delimited continuations
    0 references
    control operators
    0 references
    control and prompt
    0 references
    CPS translation
    0 references
    type system
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references

    Identifiers