The following pages link to Back to direct style (Q1330432):
Displaying 12 items.
- On inter-deriving small-step and big-step semantics: a case study for storeless call-by-need evaluation (Q428886) (← links)
- Analyzing the environment structure of higher-order languages using frame strings (Q879361) (← links)
- Refunctionalization at work (Q923881) (← links)
- On typing delimited continuations: Three new solutions to the printf problem (Q968365) (← links)
- Inter-deriving semantic artifacts for object-oriented programming (Q980939) (← links)
- A first-order one-pass CPS transformation (Q1884883) (← links)
- Implementation and use of the PLT scheme web server (Q2464729) (← links)
- A static simulation of dynamic delimited control (Q2464731) (← links)
- Inter-deriving Semantic Artifacts for Object-Oriented Programming (Q3511441) (← links)
- From Reduction-Based to Reduction-Free Normalization (Q3649133) (← links)
- Getting There and Back Again (Q5074057) (← links)
- On one-pass CPS transformations (Q5428374) (← links)
