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. Symbolic Execution of Hadamard-Toffoli Quantum Circuits

    Article • January 2023, ACM (Association for Computing Machinery)

    Jacques Carette

  4. Formalizing category theory in Agda

    Article • January 2021, ACM (Association for Computing Machinery)

    Jacques Carette

  5. GOOL: a generic object-oriented language

    Article • January 2020, ACM (Association for Computing Machinery)

    Jacques Carette

  6. From high-level inference algorithms to efficient code

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

    Chung-chieh Shan, Jacques Carette