Linear usage of state (Q5408192)

From MaRDI portal
scientific article; zbMATH DE number 6281812
Language Label Description Also known as
English
Linear usage of state
scientific article; zbMATH DE number 6281812

    Statements

    Linear usage of state (English)
    0 references
    0 references
    9 April 2014
    0 references
    linear type theory
    0 references
    monads
    0 references
    computational effects
    0 references
    categorical semantics
    0 references
    enriched category theory
    0 references
    state passing translation
    0 references

    Identifiers

    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references