SPLASH 2021 (series) / Gan Shen
Not registered as user yet
Name:Gan Shen
Affiliation:University of California, Santa Cruz, USA
Contributions
HATRA 2021 | Toward SMT-Based Refinement Types in Agda Toward Hole-Driven Development with Liquid Haskell | ||||||||||||||||||||||||||||||||||||||||
Show activities from other conferences |
SPLASH 2021-profile
View general profile
View general profile