Binding-Time Analysis by Constraint Solving. A Modular and Higher-Order Approach for Mercury.

Wim Vanhoof

Browse the full LPAR paper archive.