Title:Binding-Time Analysis by Constraint Solving: 
      A modular and higher-order approach for Mercury
Authors: Wim Vanhoof

Abstract:

In this paper we present a binding-time analysis for Mercury. The
analysis deals with the higher-order aspects of Mercury, and is formulated by
means of constraint normalisation, allowing a modular approach.