Nested refinements: a logic for duck typing.

Ravi Chugh, Patrick Maxim Rondon, Ranjit Jhala

Browse the full POPL paper archive.