All Stories

  1. 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

  2. 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

  3. What's special about the mathematics behind quantum theory

    Article • Proceedings of the National Academy of Sciences, February 2022, Proceedings of the National Academy of Sciences

    Chris Heunen

  4. When can you ask quantum programs for their outcome? Anytime!

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

    Chris Heunen, Robin Kaarsgaard

  5. Denotational validation of higher-order Bayesian inference

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

    Chris Heunen