The following pages link to (Q4738220):
Displaying 8 items.
- CPS transformation of beta-redexes (Q1041755) (← links)
- CPS-translation as adjoint (Q1044830) (← links)
- Retraction approach to CPS transform (Q1290333) (← links)
- Back to direct style (Q1330432) (← links)
- A first-order one-pass CPS transformation (Q1884883) (← links)
- A reflection on call-by-value (Q2817680) (← links)
- CPS transformation of flow information (Q4460719) (← links)
- A Simple CPS Transformation of Control-Flow Information (Q4795879) (← links)