On the Practicality and Soundness of Refinement Types | Publicación