Towards Modular Binding-Time Analysis for First-order Mercury

Wim Vanhoof, Maurice Bruynooghe. Towards Modular Binding-Time Analysis for First-order Mercury. Theoretical Computer Science, 30(2):189-198, 1999. [doi]

Abstract

Abstract is missing.