Programming Systems Publications
     
 
Programming Systems Publications
│ 2013 │ 
 
     
 

2013

Abstract Refinement Types, Niki Vazou, Patrick Rondon, and Ranjit Jhala, ESOP, 2013.