This is excellent. Thanks for linking this. I'm still kind of new to PL research and this looks like a ''who's who'' of higher-level PL topics.
Anyone have recommendations on the right books to read, by the way? I'm working through Pierce's Types and Programming Languages along with Purely Functional Data Structures and Pearls of Functional Algorithm Design. I understand the sequel to TaPL covers more modern concepts. Would that be the natural next choice?