Mr Vikraman Choudhury

  • Research Associate (School of Computing Science)

telephone: 01413301908
email: Vikraman.Choudhury@glasgow.ac.uk
pronouns: They/them/theirs

307, Sir Alwyn Williams Building, Glasgow, Glasgow City, Scotland, United Kingdom, G12 8QN

ORCID iDhttps://orcid.org/0000-0003-2030-8056

Publications

List by: Type | Date

Jump to: 2022
Number of items: 3.

2022

Choudhury, V. , Agapiev, B. and Sabry, A. (2022) Scheme Pearl: Quantum Continuations. Scheme 2022, Ljubljana, Slovenia, 16 Sep 2022. (Accepted for Publication)

Choudhury, V. and Fiore, M. (2022) Free Commutative Monoids in Homotopy Type Theory. 38th International Conference on Mathematical Foundations of Programming Semantics (MFPS 2022), Ithaca, NY, USA, 11-13 Jul 2022. (In Press)

Choudhury, V. , Karwowski, J. and Sabry, A. (2022) Symmetries in reversible programming: From symmetric rig groupoids to reversible programming languages. Proceedings of the ACM on Programming Languages, 6(POPL), 6. (doi: 10.1145/3498667)

This list was generated on Sat Dec 3 23:06:43 2022 GMT.
Number of items: 3.

Articles

Choudhury, V. , Karwowski, J. and Sabry, A. (2022) Symmetries in reversible programming: From symmetric rig groupoids to reversible programming languages. Proceedings of the ACM on Programming Languages, 6(POPL), 6. (doi: 10.1145/3498667)

Conference or Workshop Item

Choudhury, V. , Agapiev, B. and Sabry, A. (2022) Scheme Pearl: Quantum Continuations. Scheme 2022, Ljubljana, Slovenia, 16 Sep 2022. (Accepted for Publication)

Choudhury, V. and Fiore, M. (2022) Free Commutative Monoids in Homotopy Type Theory. 38th International Conference on Mathematical Foundations of Programming Semantics (MFPS 2022), Ithaca, NY, USA, 11-13 Jul 2022. (In Press)

This list was generated on Sat Dec 3 23:06:43 2022 GMT.