This page contains the supplemental materials for Inferring Scope through Syntactic Sugar by Justin Pombrio, Shriram Krishnamurthi, and Mitchell Wand, published in ICFP 2017.
The implementation is published on github, or you can download it directly (see the scope-inference folder).
There is also an an extended version of the paper that contains all of the proofs and some additional material.