E-LIB Suche - Ergebnisse für: Choudhury, Vikraman

1

Free Commutative Monoids in Homotopy Type Theory:

Choudhury, Vikraman ; Fiore, Marcelo
Electronic Notes in Theoretical Informatics and Computer Science. 1 - Proceedings of (2023) - p. , 2023

Link: https://doi.org/10.46298..

2

Symmetries in reversible programming: from symmetric rig gr..:

Choudhury, Vikraman ; Karwowski, Jacek ; Sabry, Amr
Proceedings of the ACM on Programming Languages. 6 (2022) POPL - p. 1-32 , 2022

Link: https://doi.org/10.1145/..

3

Symmetries in reversible programming: from symmetric rig gr..:

Choudhury, Vikraman ; Karwowski, Jacek ; Sabry, Amr
Proceedings of the ACM on Programming Languages. 6 (2022) POPL - p. 1-32 , 2022

Link: https://dl.acm.org/doi/1..

4

Fractional Types: Expressive and Safe Space Management for ..:

, In: Reversible Computation; Lecture Notes in Computer Science,

Chen, Chao-Hong ; Choudhury, Vikraman ; Carette, Jacques. - p. 169-186 , 2020

Link: https://doi.org/10.1007/..

5

Recovering purity with comonads and capabilities:

Choudhury, Vikraman ; Krishnaswami, Neel
Proceedings of the ACM on Programming Languages. 4 (2020) ICFP - p. 1-28 , 2020

Link: https://doi.org/10.1145/..

6

Recovering purity with comonads and capabilities:

Choudhury, Vikraman ; Krishnaswami, Neel
Proceedings of the ACM on Programming Languages. 4 (2020) ICFP - p. 1-28 , 2020

Link: https://dl.acm.org/doi/1..

7

From Reversible Programs to Univalent Universes and Back:

Carette, Jacques ; Chen, Chao-Hong ; Choudhury, Vikraman.
Electronic Notes in Theoretical Computer Science. 336 (2018) - p. 5-25 , 2018

Link: https://doi.org/10.1016/..

8

Refinement reflection: complete verification with SMT:

Vazou, Niki ; Tondwalkar, Anish ; Choudhury, Vikraman...
Proceedings of the ACM on Programming Languages. 2 (2017) POPL - p. 1-31 , 2017

Link: https://dl.acm.org/doi/1..

9

Adaptive lock-free data structures in Haskell: a general me..:

Chen, Chao-Hong ; Choudhury, Vikraman ; Newton, Ryan R.
ACM SIGPLAN Notices. 52 (2017) 10 - p. 197-211 , 2017

Link: https://doi.org/10.1145/..

10

Refinement reflection: complete verification with SMT:

Vazou, Niki ; Tondwalkar, Anish ; Choudhury, Vikraman...
Proceedings of the ACM on Programming Languages. 2 (2017) POPL - p. 1-31 , 2017

Link: https://doi.org/10.1145/..

11

Adaptive lock-free data structures in Haskell: a general me..:

, In: Proceedings of the 10th ACM SIGPLAN International Symposium on Haskell,

Chen, Chao-Hong ; Choudhury, Vikraman ; Newton, Ryan R. - p. 197-211 , 2017

Link: https://dl.acm.org/doi/1..

12

Free Commutative Monoids in Homotopy Type Theory:

Choudhury, Vikraman ; Fiore, Marcelo
https://eprints.gla.ac.uk/279581/1/279581.pdf. , 2023

Link: https://eprints.gla.ac.u..

13

Free Commutative Monoids in Homotopy Type Theory:

Choudhury, Vikraman ; Fiore, Marcelo
https://doi.org/10.46298/entics.10492. , 2023

Link: https://www.repository.c..

14

Symmetries in reversible programming: From symmetric rig gr..:

Choudhury, Vikraman ; Karwowski, Jacek ; Sabry, Amr
https://eprints.gla.ac.uk/278417/1/278417.pdf. , 2022

Link: https://eprints.gla.ac.u..

15

Symmetries in Reversible Programming: From Symmetric Rig Gr..:

Choudhury, Vikraman ; Karwowski, Jacek ; Sabry, Amr
http://arxiv.org/abs/2110.05404. , 2021

Link: http://arxiv.org/abs/211..