Gan Shen

According to our database, Gan Shen authored at least 6 papers between 2021 and 2024.

Collaborative distances:

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

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