Abstract refinement types. (2013)

by N Vazou, P M Rondon, R Jhala
Venue:ESOP 2013. LNCS,