All Stories

  1. Symmetries in reversible programming: from symmetric rig groupoids to reversible programming languages

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

    Vikraman Choudhury

  2. Recovering purity with comonads and capabilities

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

    Vikraman Choudhury

  3. Refinement reflection: complete verification with SMT

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

    Professor Philip Wadler, Vikraman Choudhury