Registered user since Wed 14 Jul 2021
Name:Anish Tondwalkar
Affiliation:University of California, San Diego
Personal website:https://blog.ani.sh
Contributions
| ECOOP 2021 | Refinements of Futures Past: Higher-Order Specification with Implicit Refinement Types mist: Refinements of Futures Past | ||||||||||||||||||||||||||||||||||||||||
| Show activities from other conferences | |||||||||||||||||||||||||||||||||||||||||
ECOOP and ISSTA 2021-profile
View general profile
View general profile