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 | 14 | 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 | 4 | 2022 |
Parameters extraction for equivalent circuit model based on artificial intelligence L Liu, Z Guan, G Shen, P Zhao, G Wang 2019 IEEE International Conference on Computational Electromagnetics (ICCEM …, 2019 | 3 | 2019 |
Toward Hole-Driven Development with Liquid Haskell P Redmond, G Shen, L Kuper arXiv preprint arXiv:2110.04461, 2021 | 2 | 2021 |
Portable, Efficient, and Practical Library-Level Choreographic Programming S Kashiwa, G Shen, S Zare, L Kuper arXiv preprint arXiv:2311.11472, 2023 | 1 | 2023 |
Toward SMT-Based Refinement Types in Agda G Shen, L Kuper arXiv preprint arXiv:2110.05771, 2021 | | 2021 |