Circuit Width Estimation via Effect Typing and Linear Dependency.

Saved in:

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

Description
ISSN:	01640925
DOI:	10.1145/3737282