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

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

    Jacques Carette

  3. Formalizing category theory in Agda

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

    Jacques Carette

  4. GOOL: a generic object-oriented language

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

    Jacques Carette

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