Suad Alagic. Constrained Matching is Type Safe. In Sophie Cluet, Richard Hull, editors, Database Programming Languages, 6th International Workshop, DBPL-6, Estes Park, Colorado, USA, August 18-20, 1997, Proceedings. Volume 1369 of Lecture Notes in Computer Science, pages 78-96, Springer, 1997. [doi]
Abstract is missing.