Gan Shen

12 papers C 1Journal 10Unranked 1
YearRankTypeTitle / Venue / Authors
2025 J jnl
Efficient, Portable, Census-Polymorphic Choreographic Programming.
Proc. ACM Program. Lang.
Mako Bates, Shun Kashiwa, Syed Jafri, Gan Shen, Lindsey Kuper, Joseph P. Near
2025 C conf
Freer Arrows and Why You Need Them in Haskell.
Haskell
Grant VanDomelen, Gan Shen, Lindsey Kuper, Yao Li
2025 J jnl
Freer Arrows and Why You Need Them in Haskell.
CoRR
Grant VanDomelen, Gan Shen, Lindsey Kuper, Yao Li
2024 J jnl
Efficient, Portable, Census-Polymorphic Choreographic Programming.
CoRR
Mako Bates, Shun Kashiwa, Syed Jafri, Gan Shen, Lindsey Kuper, Joseph P. Near
2024 J jnl
Toward Verified Library-Level Choreographic Programming with Algebraic Effects.
CoRR
Gan Shen, Lindsey Kuper
2023 J jnl
HasChor: Functional Choreographic Programming for All (Functional Pearl).
CoRR
Gan Shen, Shun Kashiwa, Lindsey Kuper
2023 J jnl
HasChor: Functional Choreographic Programming for All (Functional Pearl).
Proc. ACM Program. Lang.
Gan Shen, Shun Kashiwa, Lindsey Kuper
2023 J jnl
Portable, Efficient, and Practical Library-Level Choreographic Programming.
CoRR
Shun Kashiwa, Gan Shen, Soroush Zare, Lindsey Kuper
2022 — conf
Verified Causal Broadcast with Liquid Haskell.
IFL
Patrick Redmond, Gan Shen, Niki Vazou, Lindsey Kuper
2022 J jnl
Verified Causal Broadcast with Liquid Haskell.
CoRR
Patrick Redmond, Gan Shen, Niki Vazou, Lindsey Kuper
2021 J jnl
Toward Hole-Driven Development with Liquid Haskell.
CoRR
Patrick Redmond, Gan Shen, Lindsey Kuper
2021 J jnl
Toward SMT-Based Refinement Types in Agda.
CoRR
Gan Shen, Lindsey Kuper