Mechanizing Refinement Types (extended) | Publicación