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