Pages that link to "Item:Q5423543"

The following pages link to A Rational Deconstruction of Landin’s SECD Machine (Q5423543):

Displaying 8 items.

• The Peter Landin prize (Q604860) (← links)
• A syntactic correspondence between context-sensitive calculi and abstract machines (Q879356) (← links)
• Refunctionalization at work (Q923881) (← links)
• Inter-deriving semantic artifacts for object-oriented programming (Q980939) (← links)
• A functional correspondence between call-by-need evaluators and lazy abstract machines (Q2390256) (← links)
• A static simulation of dynamic delimited control (Q2464731) (← links)
• A functional correspondence between monadic evaluators and abstract machines for languages with computational effects (Q2566031) (← links)
• From Reduction-Based to Reduction-Free Normalization (Q3649133) (← links)