%0 Journal Article %1 journals/corr/abs-2202-07636 %A Colledan, Andrea %A Lago, Ugo Dal %D 2022 %J CoRR %K dblp %T On Dynamic Lifting and Effect Typing in Circuit Description Languages (Extended Version). %U http://dblp.uni-trier.de/db/journals/corr/corr2202.html#abs-2202-07636 %V abs/2202.07636

@article{journals/corr/abs-2202-07636, added-at = {2022-02-18T00:00:00.000+0100}, author = {Colledan, Andrea and Lago, Ugo Dal}, biburl = {https://www.bibsonomy.org/bibtex/28c24784672639db56a5ac990539a2337/dblp}, ee = {https://arxiv.org/abs/2202.07636}, interhash = {bd9ea2011b03913be6bda80baf363c2d}, intrahash = {8c24784672639db56a5ac990539a2337}, journal = {CoRR}, keywords = {dblp}, timestamp = {2024-04-08T23:53:37.000+0200}, title = {On Dynamic Lifting and Effect Typing in Circuit Description Languages (Extended Version).}, url = {http://dblp.uni-trier.de/db/journals/corr/corr2202.html#abs-2202-07636}, volume = {abs/2202.07636}, year = 2022 }