You might be interested in my recent work on Continuations and Coexponentials. Here is a draft, and slides from HOPE and LFCS, and links to repositories: coexp and agda-coexp.
I study mathematical foundations of computation, through an algebraic lens. My research spans programming languages, type theory, category theory, logic, semantics, constructive mathematics, and formalisation.
Vikraman Choudhury, Jacek Karwowski, Amr Sabry: Symmetries in Reversible Programming: From Symmetric Rig Groupoids to Reversible Programming Languages. POPL 2022.
Chao-Hong Chen, Vikraman Choudhury, Jacques Carette, Amr Sabry: Fractional Types: Expressive and Safe Space Management for Ancilla Bits. RC 2020, LNCS volume 12227.
Niki Vazou, Anish Tondwalkar, Vikraman Choudhury, Ryan G. Scott, Ryan R. Newton, Philip Wadler, Ranjit Jhala: Refinement reflection: complete verification with SMT. POPL 2018.
Chao-Hong Chen, Vikraman Choudhury, Ryan R. Newton: Adaptive lock-free data structures in Haskell: a general method for concurrent implementation swapping. Haskell 2017.