Pages that link to "Item:Q1566886"

The following pages link to Continuations: A mathematical semantics for handling full jumps (Q1566886):

Displaying 23 items.

• A syntactic correspondence between context-sensitive calculi and abstract machines (Q879356) (← links)
• On the observational theory of the CPS-calculus (Q968276) (← links)
• On typing delimited continuations: Three new solutions to the printf problem (Q968365) (← links)
• On the dynamic extent of delimited continuations (Q1044694) (← links)
• A syntactic theory of sequential control (Q1101435) (← links)
• A guided tour of the mathematics of MetaSoft '88 (Q1111360) (← links)
• The congruence of two programming language definitions (Q1155952) (← links)
• Call-by-name, call-by-value and the \(\lambda\)-calculus (Q1225449) (← links)
• PASCAL in LCF: Semantics and examples of proof (Q1242670) (← links)
• On an equivalence between continuation and stack semantics (Q1247741) (← links)
• Direct semantics and exceptions define jumps and coroutines (Q1824407) (← links)
• On the call-by-value CPS transform and its semantics (Q1887170) (← links)
• Continuation-passing C, compiling threads to events through continuations (Q1929338) (← links)
• On the semantics of parsing actions (Q2441511) (← links)
• State-transition machines for lambda-calculus expressions (Q2464714) (← links)
• A static simulation of dynamic delimited control (Q2464731) (← links)
• Investigations on the dual calculus (Q2503329) (← links)
• Reflection Cryptanalysis of PRINCE-Like Ciphers (Q2946872) (← links)
• UTP Semantics of Reactive Processes with Continuations (Q2971178) (← links)
• A Rewriting Logic Approach to Type Inference (Q3184729) (← links)
• Comparing Control Constructs by Double-barrelled CPS Transforms (Q4917068) (← links)
• Non-speculative and upward invocation of continuations in a parallel language (Q5096761) (← links)
• On one-pass CPS transformations (Q5428374) (← links)