Pages that link to "Item:Q1290336"
From MaRDI portal
The following pages link to Definitional interpreters revisited (Q1290336):
Displaying 16 items.
- On inter-deriving small-step and big-step semantics: a case study for storeless call-by-need evaluation (Q428886) (← links)
- Peter J. Landin (1930--2009) (Q848746) (← links)
- Polymorphic typed defunctionalization and concretization (Q853737) (← links)
- Combining algebraic effects with continuations (Q879352) (← links)
- A syntactic correspondence between context-sensitive calculi and abstract machines (Q879356) (← links)
- Analyzing the environment structure of higher-order languages using frame strings (Q879361) (← links)
- Refunctionalization at work (Q923881) (← links)
- On the equivalence between small-step and big-step abstract machines: a simple application of lightweight fusion (Q963342) (← links)
- Inter-deriving semantic artifacts for object-oriented programming (Q980939) (← links)
- Definitional interpreters for higher-order programming languages (Q1290337) (← links)
- Continuations revisited (Q1566885) (← links)
- A closer look at declarative interpretations (Q3129509) (← 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)