Treffer: Circuit Width Estimation via Effect Typing and Linear Dependency.
Title:
Circuit Width Estimation via Effect Typing and Linear Dependency.
Authors:
Colledan, Andrea1 (AUTHOR) andrea.colledan@unibo.it, Lago, Ugo Dal1 (AUTHOR) ugo.dallago@unibo.it, Vazou, Niki2 (AUTHOR) niki.vazou@imdea.org
Source:
ACM Transactions on Programming Languages & Systems. Sep2025, Vol. 47 Issue 3, p1-35. 35p.
Database:
Business Source Ultimate