%0 Conference Proceedings %F nast2006 %A Nagy, Lajos %A Stansifer, Ryan %T Polymorphic type inference for the relational algebra in the functional database programming language neon %B ACM-SE 44: Proceedings of the 44th annual Southeast regional conference %P 673-678 %I ACM %C New York, NY, USA %U http://www.diku.dk/hjemmesider/ansatte/henglein/papers/nagy2006.pdf %U http://doi.acm.org/10.1145/1185448.1185596 %D 2006 %K parametricity %K dbprog