Scope Inference and Scope-Safe Programming
This repository contains two projects:
- The reference implementation for Inferring Scope through Syntactic Sugar, ICFP'17.
- An experimental attempt at using the ideas from the paper to provide a representation of terms in Haskell that is scope safe, such that unhygienic transformations do not type check. (This is not discussed in the paper.)