Jan Van den Bussche, Emmanuel Waller. Type Inference in the Polymorphic Relational Algebra. In Proceedings of the Eighteenth ACM SIGACT-SIGMOD-SIGART Symposium on Principles of Database Systems, May 31 - June 2, 1999, Philadelphia, Pennsylvania. pages 80-90, ACM Press, 1999. [doi]
Abstract is missing.