Pages that link to "Item:Q1884883"
From MaRDI portal
The following pages link to A first-order one-pass CPS transformation (Q1884883):
Displaying 11 items.
- Analyzing the environment structure of higher-order languages using frame strings (Q879361) (← links)
- CPS-translation as adjoint (Q1044830) (← links)
- Retraction approach to CPS transform (Q1290333) (← links)
- Back to direct style (Q1330432) (← links)
- Mechanized Verification of CPS Transformations (Q3498467) (← links)
- CPS transformation of flow information (Q4460719) (← links)
- (Q4738220) (← links)
- A Functional Abstraction of Typed Invocation Contexts (Q5043596) (← links)
- Effect handlers via generalised continuations (Q5110928) (← links)
- Continuation passing style for effect handlers (Q5111314) (← links)
- On one-pass CPS transformations (Q5428374) (← links)