SIGPLAN

@sigplan.bsky.social

The ACM Special Interest Group on Programming Languages.

Defunding the NSF will have disastrous downstream effects on the tech industry. It’s time for people in industry to ACT. In this cross-post from the SIGARCH blog, Prof. Vijay Janapa Reddi outlines some steps you can take now. blog.sigplan.org/2025/05/19/t...

The Academic Pipeline Stall: Why Industry Must Stand for Academia

This post was cross-published from the SIGARCH blog. The Research Pipeline is Stalling The U.S. National Science Foundation (NSF) froze all outgoing funding, including new awards and scheduled…

blog.sigplan.org

Generics, recursive types, and structural subtyping are all features that many modern languages want, but their combination can quickly get unwieldy. A POPL Distinguished Paper from last year distilled a decidable type system that combines all three. blog.sigplan.org/2025/01/29/p...

Parametric Subtyping for Structural Parametric Polymorphism

Recursive types, generics (sometimes called parametric polymorphism), and subtyping are all essential features for modern programming languages across numerous paradigms. However, structural subtyp…

blog.sigplan.org