All Stories

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

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

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

  4. Denotational validation of higher-order Bayesian inference

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

    Chris Heunen