Natural semantics for call-by-need

Happy new year! Today was the first theory lunch of 2013 and I talked about lazy, or call-by-need evaluation. Continue reading

Advertisements