Toggle navigation
Sign in
Sign up
conf.researchr.org
/
Anish Tondwalkar
conf.researchr.org general profile
ECOOP and ISSTA 2021 profile
Registered user since Wed 14 Jul 2021
Name:
Anish Tondwalkar
Affiliation:
University of California, San Diego
Personal website:
https://blog.ani.sh
Contributions
2021
ECOOP
Author of Refinements of Futures Past: Higher-Order Specification with Implicit Refinement Types within the ECOOP Technical Papers-track
Author of mist: Refinements of Futures Past within the ECOOP Artifacts-track
Share
x
Tue 3 Dec 18:31