Gan Shen

According to our database, Gan Shen authored at least 8 papers between 2021 and 2025.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of five.

2025

Freer Arrows and Why You Need Them in Haskell.

Grant VanDomelen, Gan Shen, Lindsey Kuper, Yao Li

CoRR, June, 2025

Efficient, Portable, Census-Polymorphic Choreographic Programming.

Mako Bates, Shun Kashiwa, Syed Jafri, Gan Shen, Lindsey Kuper, Joseph P. Near

Proc. ACM Program. Lang., 2025

2024

Toward Verified Library-Level Choreographic Programming with Algebraic Effects.

Gan Shen, Lindsey Kuper

CoRR, 2024

2023

HasChor: Functional Choreographic Programming for All (Functional Pearl).

Gan Shen, Shun Kashiwa, Lindsey Kuper

Proc. ACM Program. Lang., August, 2023

Portable, Efficient, and Practical Library-Level Choreographic Programming.

Shun Kashiwa, Gan Shen, Soroush Zare, Lindsey Kuper

CoRR, 2023

2022

Verified Causal Broadcast with Liquid Haskell.

Patrick Redmond, Gan Shen, Niki Vazou, Lindsey Kuper

Proceedings of the 34th Symposium on Implementation and Application of Functional Languages, 2022

2021

Toward SMT-Based Refinement Types in Agda.

Gan Shen, Lindsey Kuper

CoRR, 2021

Toward Hole-Driven Development with Liquid Haskell.

Patrick Redmond, Gan Shen, Lindsey Kuper

CoRR, 2021