[PLanQC'24] Circuit Width Estimation via Effect Typing and Linear Dependency (Extended Abs... | ACM SIGPLAN | Podwise