- Thiago Felicissimo. Generic Bidirectional Typing for Dependent Type Theories. ACM Transactions on Programming Languages and Systems, 47(1), March 2025.
- Cyril Cohen, Enzo Crance, Assia Mahboubi. Trocq: Proof Transfer for Free, Beyond Equivalence and Univalence. ACM Transactions on Programming Languages and Systems, 47(3), September 2025.
- Colin S. Gordon. Squibs and Discussions at TOPLAS. ACM Transactions on Programming Languages and Systems, 47(4), December 2025.
- Yotam Dvir, Ohad Kammar, Ori Lahav 0001. A Brookes-Style Denotational Semantics for Release/Acquire Concurrency. ACM Transactions on Programming Languages and Systems, 47(2), June 2025.
- Loïc Pujet, Yann Leray, Nicolas Tabareau. Observational Equality Meets CIC. ACM Transactions on Programming Languages and Systems, 47(2), June 2025.
- Zeinab Galal, Francesco Gavazzo, Riccardo Treglia, Gabriele Vanoni. Monadic Intersection Types, Relationally, and Ordered. ACM Transactions on Programming Languages and Systems, 47(4), December 2025.
- Colin S. Gordon. Changing of the Seasons at TOPLAS. ACM Transactions on Programming Languages and Systems, 47(3), September 2025.
- Xusheng Zhi, Thomas Reps. Polynomial Bounds of CFLOBDDs against BDDs. ACM Transactions on Programming Languages and Systems, 47(2), June 2025.
- Myra Dotzel, Farzaneh Derakhshan, Milijana Surbatovich, Limin Jia 0001. Modal Crash Types for WAR-Aware Intermittent Computing. ACM Transactions on Programming Languages and Systems, 47(2), June 2025.
- Alexandre Moine 0001, Arthur Charguéraud, François Pottier. Will It Fit? Verifying Heap Space Bounds of Concurrent Programs under Garbage Collection. ACM Transactions on Programming Languages and Systems, 47(1), March 2025.