nested refinements: a logic for duck typing

To find this video from POPL 2012 in the ACM Digital Library, follow this link and click on "Source Materials".