Pages that link to "Item:Q4279251"

The following pages link to Representing Control: a Study of the CPS Transformation (Q4279251):

Displaying 35 items.

• Böhm theorem and Böhm trees for the \(\varLambda \mu\)-calculus (Q428894) (← links)
• Delimited control operators prove double-negation shift (Q450950) (← links)
• Programming with algebraic effects and handlers (Q478396) (← links)
• Type checking and typability in domain-free lambda calculi (Q655411) (← links)
• On the relations between monadic semantics (Q879354) (← links)
• A syntactic correspondence between context-sensitive calculi and abstract machines (Q879356) (← links)
• Refunctionalization at work (Q923881) (← links)
• Inter-deriving semantic artifacts for object-oriented programming (Q980939) (← links)
• CPS transformation of beta-redexes (Q1041755) (← links)
• A first-order one-pass CPS transformation (Q1884883) (← links)
• On the semantics of parsing actions (Q2441511) (← links)
• A functional correspondence between monadic evaluators and abstract machines for languages with computational effects (Q2566031) (← links)
• A Higher-Order Abstract Syntax Approach to Verified Transformations on Functional Programs (Q2802499) (← links)
• A context-based approach to proving termination of evaluation (Q2805157) (← links)
• Syntactic theories in practice (Q2841251) (← links)
• Type-safe code transformations in Haskell (Q2866331) (← links)
• Probabilistic operational semantics for the lambda calculus (Q2905328) (← links)
• UTP Semantics of Reactive Processes with Continuations (Q2971178) (← links)
• LINCX: A Linear Logical Framework with First-Class Contexts (Q2988658) (← links)
• A New Method for Dependent Parsing (Q3000590) (← links)
• Undecidability of Type-Checking in Domain-Free Typed Lambda-Calculi with Existence (Q3540198) (← links)
• From Reduction-Based to Reduction-Free Normalization (Q3649133) (← links)
• CPS transformation of flow information (Q4460719) (← links)
• CPS transformation of flow information, Part II: administrative reductions (Q4460720) (← links)
• (Q4603450) (← links)
• A Selective CPS Transformation (Q4917063) (← links)
• A New Criterion for Safe Program Transformations (Q4921507) (← links)
• (Q4957790) (← links)
• (Q4957791) (← links)
• A Formal, Resource Consumption-Preserving Translation from Actors with Cooperative Scheduling to Haskell* (Q4988924) (← links)
• (Q5079752) (← links)
• Verifying Selective CPS Transformation for Shift and Reset (Q5098734) (← links)
• Effect handlers via generalised continuations (Q5110928) (← links)
• Effekt: Capability-passing style for type- and effect-safe, extensible effect handlers in Scala (Q5110932) (← links)
• Continuation passing style for effect handlers (Q5111314) (← links)