Egg, M., A. Koller, and J. Niehren, "The Constraint Language for Lambda Structures". Technical report, Universitat des Saarlandes, Programming Systems Lab

Languages mentioned

• CLLS {2000}