Formalizing, Mechanizing, and Verifying Class-Based Refinement Types.

Ke Sun, Di Wang, Sheng Chen, Meng Wang, Dan Hao

Browse the full ECOOP paper archive.