Happy new year! Today was the first theory lunch of 2013 and I talked about lazy, or call-by-need evaluation. Continue reading
Natural semantics for call-by-need
2
-
Follow
Following
Already have a WordPress.com account? Log in now.
Theory Lunch 