| HasChor: Functional Choreographic Programming for All (Functional Pearl) G Shen, S Kashiwa, L Kuper Proceedings of the ACM on Programming Languages 7 (ICFP), 541–565, 2023 | 22 | 2023 |
| Verified causal broadcast with liquid haskell P Redmond, G Shen, N Vazou, L Kuper Proceedings of the 34th Symposium on Implementation and Application of …, 2022 | 5 | 2022 |
| Toward Hole-Driven Development with Liquid Haskell P Redmond, G Shen, L Kuper arXiv preprint arXiv:2110.04461, 2021 | 3 | 2021 |
| Toward Verified Library-Level Choreographic Programming with Algebraic Effects G Shen, L Kuper arXiv preprint arXiv:2407.06509, 2024 | 1 | 2024 |
| Toward SMT-Based Refinement Types in Agda G Shen, L Kuper arXiv preprint arXiv:2110.05771, 2021 | 1 | 2021 |
| Efficient, Portable, Census-Polymorphic Choreographic Programming M Bates, S Kashiwa, S Jafri, G Shen, L Kuper, JP Near arXiv preprint arXiv:2412.02107, 2024 | | 2024 |
Lindsey KuperUniversity of California, Santa CruzVerified email at ucsc.edu