Kevin Glynn, Peter J. Stuckey, Martin Sulzmann, Harald Søndergaard. Boolean Constraints for Binding-Time Analysis. In Olivier Danvy, Andrzej Filinski, editors, Programs as Data Objects, Second Symposium, PADO 2001, Aarhus, Denmark, May 21-23, 2001, Proceedings. Volume 2053 of Lecture Notes in Computer Science, pages 39-62, Springer, 2001. [doi]
Abstract is missing.