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".
To find this video from POPL 2012 in the ACM Digital Library, follow this link and click on "Source Materials".