Circuit Width Estimation via Effect Typing and Linear Dependency. - Colledan, Andrea; Lago, Ugo Dal; Vazou, Niki (ACM Transactions on Programming Languages & Systems, 2025)