Circuit Width Estimation via Effect Typing and Linear Dependency.

Andrea Colledan, Ugo Dal Lago

Browse the full ESOP paper archive.