@phdthesis{thesis,
  author = {Charles Yuan},
  school = {Massachusetts Institute of Technology},
  title  = {Foundational Abstractions for Quantum Programming},
  doi    = {1721.1/164666},
  year   = {2025}
}