Towards a modular binding-time analysis for higher-order Mercury.

Wim Vanhoof, Maurice Bruynooghe

Browse the full LOPSTR paper archive.