2
$\begingroup$

I heard that there exist two styles to define an evaluation context: outside-in and inside-out. Can someone give the definitions? Why are they so named (inside-out and outside-in)? What is the difference? Some examples would be appreciated.

$\endgroup$
  • 2
    $\begingroup$ See 4.3 of Danvy et al, Defunctionalized Interpreters for Call-by-Need Evaluation, 2010. $\endgroup$ – Radu GRIGore Nov 27 '13 at 11:57

Your Answer

By clicking “Post Your Answer”, you agree to our terms of service, privacy policy and cookie policy

Browse other questions tagged or ask your own question.