@misc{indiciaee3d316309fc4,
  title = {Sized Types for low-level Quantum Metaprogramming},
  author = {Matthew Amy},
  year = {2019},
  doi = {10.1007/978-3-030-21500-2\_6},
  url = {https://arxiv.org/abs/1908.02644},
  note = {Source identifier: 1908.02644}
}