Type Inference in the Polymorphic Relational Algebra.

Jan Van den Bussche Emmanuel Waller Type Inference in the Polymorphic Relational Algebra. 80-90 1999 PODS db/conf/pods/pods99.html#BusscheW99 conf/pods/99 http://doi.acm.org/10.1145/303976.303984 db/conf/pods/BusscheW99.html DiSC2_1/out/papers/pods/typeinferenceinjaem.pdf books/aw/AhoSU86 conf/fpca/AikenW93 conf/popl/AikenWL94 conf/lics/BachmairGW93 ... conf/icdt/BunemanDFS97 conf/sigmod/BunemanDHS96 journals/jiis/Garcia-MolinaPQRSUVW97 journals/fuin/GianniniHR93 ... ... ... ... journals/tods/BunemanO96 conf/sigmod/OhoriBT89 ... ... conf/edbt/StempleFSS90 conf/mfcs/Tiuryn90 ... ...