• Sign in
  • Sign up
conf.researchr.org / Anish Tondwalkar
  • ECOOP and ISSTA 2021 profile
Anish Tondwalkar

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
xSun 18 May 15:31
using conf.researchr.org (v1.69.0)
Support page
Sign Up