A Theory of Name Resolution

Pierre Néron, Andrew P. Tolmach, Eelco Visser, Guido Wachsmuth. A Theory of Name Resolution. In Jan Vitek, editor, Programming Languages and Systems - 24th European Symposium on Programming, ESOP 2015, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2015, London, UK, April 11-18, 2015. Proceedings. Volume 9032 of Lecture Notes in Computer Science, pages 205-231, Springer, 2015. [doi]

Technical report

The following is a technical report version of this publication:


The following are older variants of this publication:

    Possibly Related Publications

    The following publications are possibly variants of this publication:

    Similar Publications

    The following publications are related publications by (some of) the same authors, but are not direct variants of this publication.


    The following are duplicate records for the exact same publication: