The following pages link to Thunks and the λ-calculus (Q4358459):
Displaying 10 items.
- Call-by-push-value: Decomposing call-by-value and call-by-name (Q857915) (← links)
- On the semantics of the call-by-name CPS transform (Q1575687) (← links)
- On the call-by-value CPS transform and its semantics (Q1887170) (← links)
- Semantics of quantum programming languages: Classical control, quantum control (Q2168785) (← links)
- The simple type theory of normalisation by evaluation (Q2841227) (← links)
- From Reduction-Based to Reduction-Free Normalization (Q3649133) (← links)
- (Q5089020) (← links)
- Amb Breaks Well-Pointedness, Ground Amb Doesn't (Q5262940) (← links)
- Programming in the λ-Calculus: From Church to Scott and Back (Q5410454) (← links)
- On one-pass CPS transformations (Q5428374) (← links)