- Georg Ringwelski and Hans Schlenker. Type Inference in CHR Programs for the Composition of Constraint Systems. In S. Abdennadher, U. Geske, and D. Seipel, editors, WLP '00: Proc. 15th Workshop on Logic Programming, pages 137-146, August 2000. Keyword(s): type systems.
- Georg Ringwelski and Hans Schlenker. Using typed interfaces to compose CHR programs. In T. Frühwirth and others, editors, RCoRP '00(bis): Proc. 2nd Workshop on Rule-Based Constraint Reasoning and Programming, September 2000.
BACK TO INDEX