I was really pleasantly surprised by the quality of slides at this OOPSLA, particularly in the types and effects sessions! People have clearly put effort into visualizing complex metatheory, presenting concepts incrementally, and augmenting notation with color/animation (very laborious for authors, I know!)

Sign in to participate in the conversation
Doma Social

Mastodon server of https://doma.dev.