• case-insensitive prefix search: default
  e.g., sig matches "SIGIR" as well as "signal"
• exact word search: append dollar sign ($) to word
  e.g., graph$ matches "graph", but not "graphics"
• boolean and: separate words by space
  e.g., codd model
• boolean or: connect words by pipe symbol (|)
  e.g., graph|network

Update May 7, 2017: Please note that we had to disable the phrase search operator (.) and the boolean not operator (-) due to technical problems. For the time being, phrase search queries will yield regular prefix search result, and search terms preceded by a minus will be interpreted as regular (positive) search terms.

found 16 matches

• 2024
• 
  Vikraman Choudhury, Borislav Agapiev, Amr Sabry:
  Scheme Pearl: Quantum Continuations. CoRR abs/2409.11106 (2024)
• 
  Ivan Lanese, Ugo Dal Lago, Vikraman Choudhury:
  Towards Quantum Multiparty Session Types. CoRR abs/2409.11133 (2024)
• 2022
• 
  Vikraman Choudhury, Jacek Karwowski, Amr Sabry:
  Symmetries in reversible programming: from symmetric rig groupoids to reversible programming languages. Proc. ACM Program. Lang. 6(POPL): 1-32 (2022)
• 
  Vikraman Choudhury, Marcelo Fiore:
  Free Commutative Monoids in Homotopy Type Theory. MFPS 2022
• 2021
• 
  Vikraman Choudhury, Jacek Karwowski, Amr Sabry:
  Symmetries in Reversible Programming: From Symmetric Rig Groupoids to Reversible Programming Languages. CoRR abs/2110.05404 (2021)
• 2020
• 
  Vikraman Choudhury, Neel Krishnaswami:
  Recovering purity with comonads and capabilities. Proc. ACM Program. Lang. 4(ICFP): 111:1-111:28 (2020)
• 
  Chao-Hong Chen, Vikraman Choudhury, Jacques Carette, Amr Sabry:
  Fractional Types - Expressive and Safe Space Management for Ancilla Bits. RC 2020: 169-186
• 
  Chao-Hong Chen, Vikraman Choudhury, Jacques Carette, Amr Sabry:
  Fractional Types: Expressive and Safe Space Management for Ancilla Bits. CoRR abs/2002.07020 (2020)
• 2019
• 
  Vikraman Choudhury, Neel Krishnaswami:
  Recovering Purity with Comonads and Capabilities. CoRR abs/1907.07283 (2019)
• 2018
• 
  Niki Vazou, Anish Tondwalkar, Vikraman Choudhury, Ryan G. Scott, Ryan R. Newton, Philip Wadler, Ranjit Jhala:
  Refinement reflection: complete verification with SMT. Proc. ACM Program. Lang. 2(POPL): 53:1-53:31 (2018)
• 
  Jacques Carette, Chao-Hong Chen, Vikraman Choudhury, Amr Sabry:
  From Reversible Programs to Univalent Universes and Back. MFPS 2018: 5-25
• 2017
• 
  Chao-Hong Chen, Vikraman Choudhury, Ryan R. Newton:
  Adaptive lock-free data structures in Haskell: a general method for concurrent implementation swapping. Haskell 2017: 197-211
• 
  Chao-Hong Chen, Vikraman Choudhury, Ryan R. Newton:
  Adaptive Lock-Free Data Structures in Haskell: A General Method for Concurrent Implementation Swapping. CoRR abs/1708.02318 (2017)
• 
  Ryan G. Scott, Vikraman Choudhury, Ryan Newton, Niki Vazou, Ranjit Jhala:
  Deriving Law-Abiding Instances. CoRR abs/1708.02328 (2017)
• 
  Jacques Carette, Chao-Hong Chen, Vikraman Choudhury, Amr Sabry:
  From Reversible Programs to Univalent Universes and Back. CoRR abs/1708.02710 (2017)
• 
  Niki Vazou, Anish Tondwalkar, Vikraman Choudhury, Ryan G. Scott, Ryan R. Newton, Philip Wadler, Ranjit Jhala:
  Refinement Reflection: Complete Verification with SMT. CoRR abs/1711.03842 (2017)