conf.researchr.org / Gan Shen

Not registered as user yet

Name:Gan Shen
Affiliation:University of California, Santa Cruz, USA

Contributions

POPL 2023 Author of HasChor: Choreographic Programming in Haskell within the Student Research Competition-track
HATRA 2021 Author of Toward SMT-Based Refinement Types in Agda within the HATRA 2021-track
Author of Toward Hole-Driven Development with Liquid Haskell within the HATRA 2021-track