Circuit Width Estimation via Effect Typing and Linear Dependency.
Saved in:
| Title: | Circuit Width Estimation via Effect Typing and Linear Dependency. |
|---|---|
| Authors: | Colledan, Andrea1, andrea.colledan@unibo.it, Lago, Ugo Dal1, ugo.dallago@unibo.it, Vazou, Niki2, niki.vazou@imdea.org |
| Source: | ACM Transactions on Programming Languages & Systems; Sep2025, Vol. 47 Issue 3, p1-35, 35p |
| Database: | Applied Science & Technology Source |
| ISSN: | 01640925 |
|---|---|
| DOI: | 10.1145/3737282 |