Nested refinements: a logic for duck typing - researchr publication related

researchr

You are not signed in
Sign in
Sign up

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]

The following publications are possibly variants of this publication:

Nested Refinement Types for JavaScriptRavi Chugh. PhD thesis, University of California, San Diego, USA, 2013. [doi]

runs on WebDSL