All Stories

  1. Hybrid Path-Sums for Hybrid Quantum Programs

    Article • Proceedings of the ACM on Programming Languages, June 2026, ACM (Association for Computing Machinery)

    Michaël Marcozzi, Christophe Chareton