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.