Pages that link to "Item:Q1183552"
From MaRDI portal
The following pages link to On the expressive power of programming languages (Q1183552):
Displaying 24 items.
- Combining control effects and their models: game semantics for a hierarchy of static, dynamic and delimited control effects (Q345713) (← links)
- Debugging hygienic macros (Q608231) (← links)
- Scoping strategies for distributed aspects (Q608347) (← links)
- Expressive power of specification languages (Q1272765) (← links)
- On abstraction and the expressive power of programming languages (Q1330458) (← links)
- Non-intrusive hierarchical coupling strategies for multi-scale simulations in gravitational dynamics (Q2204520) (← links)
- Observational program calculi and the correctness of translations (Q2339472) (← links)
- A static simulation of dynamic delimited control (Q2464731) (← links)
- The expressive power of higher-order types or, life without CONS (Q2740986) (← links)
- Remarks on language extensibility (Q2770775) (← links)
- Delimited control and computational effects (Q2875223) (← links)
- Shifting the stage. Staging with delimited control (Q2913928) (← links)
- Expressiveness, meanings and machines (Q4628355) (← links)
- Relative expressiveness of defeasible logics (Q4911149) (← links)
- (Q5013873) (← links)
- A Functional Abstraction of Typed Invocation Contexts (Q5043596) (← links)
- (Q5089033) (← links)
- Iterating on multiple collections in synchrony (Q5101923) (← links)
- (Q5119393) (← links)
- Control effects as a modality (Q5302644) (← links)
- No value restriction is needed for algebraic effects and handlers (Q5372003) (← links)
- Full abstraction for expressiveness: history, myths and facts (Q5741573) (← links)
- Translation of CCS into CSP, correct up to strong bisimulation (Q6045054) (← links)
- Asymptotic speedup via effect handlers (Q6561531) (← links)
