All Stories

  1. Hadamard-Pi: Equational Quantum Programming

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

    Robin Kaarsgaard

  2. How to Bake a Quantum Π

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

    Jacques Carette, Robin Kaarsgaard, Chris Heunen

  3. What makes quantum computing powerful is the ability to stop computations partway

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

    Jacques Carette, Robin Kaarsgaard, Chris Heunen