Pages that link to "Item:Q2913928"
From MaRDI portal
The following pages link to Shifting the stage. Staging with delimited control (Q2913928):
Displaying 5 items.
- Delimited control in OCaml, abstractly and concretely (Q428889) (← links)
- Type-specialized staged programming with process separation (Q1929349) (← links)
- Implicitly heterogeneous multi-stage programming (Q2478589) (← links)
- Gaussian elimination: a case study in efficient genericity with MetaOCaml (Q2507767) (← links)
- Reasoning about multi-stage programs (Q5371979) (← links)