Paper of the Week?

[Mark Farrell]

Would it be useful to have a "paper of the week" or that might otherwise enrich the current topics we are studying each session?

(e.g. Perhaps have a look at that POPL 2016 paper on a self-interpreter for F-omega in F-omega when we get there, some of the relevant papers of Per Martin-Löf, etc.)

-Mark

[Danny Gratzer]

While it is fun to have a paper of the week, I think logistically it may be a bit much. Especially considering

we haven't really stabilized the reading group yet. Also a large fraction of people in this group are just getting

started so if we hold off until we're a bit further a long the paper-reading would be accessible to a larger

fraction of the group.

Cheers,

Danny

[Mark Farrell]

Sure - just throwing the idea out there.

[Craig Stuntz]

Having a list of papers/books/lectures on the syllabus as optional reading would make a lot of sense, especially if ordered in some reasonable way to correspond with chapters and level of expertise required to read.