Today I carried on talking about NBE.

Advertisements

1

Today I carried on talking about NBE.

Advertisements

Today I talked about normalization-by-evaluation for simply typed lambda calculus. Continue reading

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

As Pierre-Louis Curien was visiting, Keiko Nakata took the opportunity to tell us about reduction semantics and λ̄μμ̃-calculus. Continue reading