Nested refinements: a logic for duck typing

Ravi Chugh, Patrick Maxim Rondon, Ranjit Jhala. Nested refinements: a logic for duck typing. In John Field, Michael Hicks, editors, Proceedings of the 39th ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, POPL 2012, Philadelphia, Pennsylvania, USA, January 22-28, 2012. pages 231-244, ACM, 2012. [doi]

Abstract

Abstract is missing.