Pages that link to "Item:Q1124368"

The following pages link to The semantics of lazy functional languages (Q1124368):

Displaying 2 items.

• On inter-deriving small-step and big-step semantics: a case study for storeless call-by-need evaluation (Q428886) (← links)
• A functional correspondence between call-by-need evaluators and lazy abstract machines (Q2390256) (← links)