@misc{indiciae1736c122c088,
  title = {On Dynamic Lifting and Effect Typing in Circuit Description Languages (Extended Version)},
  author = {Andrea Colledan and Ugo Dal Lago},
  year = {2022},
  url = {https://arxiv.org/abs/2202.07636},
  note = {Source identifier: 2202.07636}
}