conf.researchr.org / Gan Shen
Not registered as user yet
Name:Gan Shen
Affiliation:University of California, Santa Cruz, USA
Contributions
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 |