Pages that link to "Item:Q1887170"
From MaRDI portal
The following pages link to On the call-by-value CPS transform and its semantics (Q1887170):
Displaying 12 items.
- Combining algebraic effects with continuations (Q879352) (← links)
- On the observational theory of the CPS-calculus (Q968276) (← links)
- On the semantics of the call-by-name CPS transform (Q1575687) (← links)
- Comparing control constructs by double-barrelled CPS (Q1870488) (← links)
- A relational account of call-by-value sequentiality (Q2506495) (← links)
- A reflection on call-by-value (Q2817680) (← links)
- On the observational theory of the CPS-calculus (extended abstract) (Q2851329) (← links)
- (Q4499189) (← links)
- Functional and Logic Programming (Q5308024) (← links)
- Programming Languages and Systems (Q5308704) (← links)
- A Semantical and Operational Account of Call-by-Value Solvability (Q5410667) (← links)
- On the transformation between direct and continuation semantics (Q5890072) (← links)