A heads-up: we are planning to hold a POPL recap session tomorrow (Wednesday). The exact schedule is TBD, but will most likely be during the standard 1145 seminar slot. I'll send out another email as soon as I know for sure.