On typing delimited continuations: Three new solutions to the printf problem (Q968365): Difference between revisions

From MaRDI portal
Import240304020342 (talk | contribs)
Set profile property.
ReferenceBot (talk | contribs)
Changed an Item
 
(One intermediate revision by one other user not shown)
Property / OpenAlex ID
 
Property / OpenAlex ID: W1969647297 / rank
 
Normal rank
Property / cites work
 
Property / cites work: Polymorphic Delimited Continuations / rank
 
Normal rank
Property / cites work
 
Property / cites work: Back to direct style / rank
 
Normal rank
Property / cites work
 
Property / cites work: Functional unparsing / rank
 
Normal rank
Property / cites work
 
Property / cites work: Representing Control: a Study of the CPS Transformation / rank
 
Normal rank
Property / cites work
 
Property / cites work: Formatting: a class act / rank
 
Normal rank
Property / cites work
 
Property / cites work: A sound and complete axiomatization of delimited continuations / rank
 
Normal rank
Property / cites work
 
Property / cites work: Call-by-name, call-by-value and the \(\lambda\)-calculus / rank
 
Normal rank
Property / cites work
 
Property / cites work: Continuations: A mathematical semantics for handling full jumps / rank
 
Normal rank
Property / cites work
 
Property / cites work: From control effects to typed continuation passing / rank
 
Normal rank
Property / cites work
 
Property / cites work: Programming Languages and Systems / rank
 
Normal rank

Latest revision as of 18:47, 2 July 2024

scientific article
Language Label Description Also known as
English
On typing delimited continuations: Three new solutions to the printf problem
scientific article

    Statements

    On typing delimited continuations: Three new solutions to the printf problem (English)
    0 references
    0 references
    5 May 2010
    0 references
    printf
    0 references
    delimited continuations
    0 references
    continuation-passing style
    0 references
    CPS
    0 references
    direct style
    0 references
    types
    0 references

    Identifiers