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, 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
Description
ISSN:01640925
DOI:10.1145/3737282