Blogs (28) >>
ICFP 2017
Sun 3 - Sat 9 September 2017 Oxford, United Kingdom
Wed 6 Sep 2017 17:26 - 17:50 at L1 - Inference and Analysis Chair(s): Mark Jones

Many languages use syntactic sugar to define parts of their surface
language in terms of a smaller core. Thus some properties of the
surface language, like its scoping rules, are not immediately
evident. Nevertheless, IDEs, refactorers, and other tools
that traffic in source code depend on these rules to present
information to users and to soundly perform their operations. In
this paper, we show how to lift scoping rules defined on a core
language to rules on the surface, a process of scope inference.
In the process we introduce a new representation
of binding structure—scope as a preorder—and present a
theoretical advance: proving that a desugaring system preserves
α-equivalence even though scoping rules have been provided
only for the core language. We have also implemented the
system presented in this paper.

Wed 6 Sep

16:40 - 17:50: Research Papers - Inference and Analysis at L1
Chair(s): Mark JonesPortland State University
icfp-2017-papers150470880000016:40 - 17:03
J. Garrett MorrisUniversity of Kansas, USA, Richard A. EisenbergBryn Mawr College, USA
icfp-2017-papers150471020000017:03 - 17:26
Martin AvanziniUniversity of Innsbruck, Austria, Ugo Dal LagoUniversity of Bologna, Italy / Inria, France
icfp-2017-papers150471160000017:26 - 17:50
Justin PombrioBrown University, USA, Shriram KrishnamurthiBrown University, USA, Mitchell WandNortheastern University, USA