Binding-time analysis for mercury

Binding-Time Annotations Without Binding-Time Analysis

LPAR '01 Proceedings of the Artificial Intelligence on Logic for Programming

Pos(T): Analyzing Dependencies in Typed Logic Programs

PSI '02 Revised Papers from the 4th International Andrei Ershov Memorial Conference on Perspectives of System Informatics: Akademgorodok, Novosibirsk, Russia

Logic program specialisation through partial deduction: Control issues

Theory and Practice of Logic Programming

Binding-time analysis by constraint solving a modular and higher-order approach for mercury

LPAR'00 Proceedings of the 7th international conference on Logic for programming and automated reasoning

Fully automatic binding-time analysis for prolog

LOPSTR'04 Proceedings of the 14th international conference on Logic Based Program Synthesis and Transformation