The following pages link to Refunctionalization at work (Q923881):
Displaying 9 items.
- On inter-deriving small-step and big-step semantics: a case study for storeless call-by-need evaluation (Q428886) (← links)
- On graph rewriting, reduction, and evaluation in the presence of cycles (Q526460) (← links)
- A correspondence between type checking via reduction and type checking via evaluation (Q763480) (← links)
- Peter J. Landin (1930--2009) (Q848746) (← links)
- Inter-deriving semantic artifacts for object-oriented programming (Q980939) (← 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)
- Programming language semantics: It’s easy as 1,2,3 (Q6065508) (← links)
