Today I carried on talking about NBE.
Normalization-by-evaluation continued
1
Tag Archives: semantics
Normalization-by-evaluation
Today I talked about normalization-by-evaluation for simply typed lambda calculus. Continue reading
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
Reduction semantics and λ̄μμ̃-calculus
As Pierre-Louis Curien was visiting, Keiko Nakata took the opportunity to tell us about reduction semantics and λ̄μμ̃-calculus. Continue reading
Theory Lunch 