On Fri, May 8, 2015 at 7:40 PM, Donn Cave <donn@avvanta.com> wrote:

But fatal if compilation is conditional on something that affects the
ability to type check, am I right?  Such as different compilers or
versions of same compiler.

Not per the abstract (paper itself seems to be paywalled). They had an earlier work with that issue, the linked one is about how to be robust in the face of such conditionals.