Refinement reflection: complete verification with SMT. - Niki Vazou; Anish Tondwalkar; Vikraman Choudhury; Ryan G. Scott; Ryan R. Newton; Philip Wadler; Ranjit Jhala (Proc. ACM Program. Lang., 2018)

Refinements of Futures Past: Higher-Order Specification with Implicit Refinement Types. - Anish Tondwalkar; Matthew Kolosick; Ranjit Jhala (ECOOP, 2021)

Refinements of Futures Past: Higher-Order Specification with Implicit Refinement Types (Extended Version). - Anish Tondwalkar; Matthew Kolosick; Ranjit Jhala (CoRR, 2021)

mist: Refinements of Futures Past (Artifact). - Anish Tondwalkar; Matthew Kolosick; Ranjit Jhala (Dagstuhl Artifacts Ser., 2021)