51 citations · 69 across the 9 of their papers we have counts for
1 paper · 2 filters
Ashish Mishra, Deepak Dsouza, Y. N. Srikant
Typestates are good at capturing dynamic states of a program as compared to normal types that can capture static structural properties of data and program. Although useful, typesta…