Refinements of Futures Past: Higher-Order Specification with Implicit Refinement Types.

Anish Tondwalkar, Matthew Kolosick, Ranjit Jhala

Browse the full ECOOP paper archive.