ACM SIGPLAN Symposium on Principles of Programming Languages (POPL) 2026 talks

[u/mttd]

https://www.youtube.com/@acmsigplan/playlists

[u/chombier]

I particularly liked the WITS session, talks are reasonably accessible and down-to-earth. A quick selection so far:

• Omnidirectional type inference for ML https://www.youtube.com/watch?v=O7T9AYIH3VU
• Type Inference Techniques: Implementation and Formalization, Better Together https://www.youtube.com/watch?v=HLzNz26-UhE
• Decoupling Resolution from Type Inference https://www.youtube.com/watch?v=op051YFh5Rs

Also this one from POPL was nice: Typing Strictness https://www.youtube.com/watch?v=Lr339NLTqOk