Lajos Nagy, Ryan Stansifer. Polymorphic type inference for the relational algebra in the functional database programming language neon. In Ronaldo Menezes, editor, Proceedings of the 44st Annual Southeast Regional Conference, 2006, Melbourne, Florida, USA, March 10-12, 2006. pages 673-678, ACM, 2006. [doi]