Polymorphic type inference for the Relational Algebra (2002)

by J Van den Bussche, E Waller
Venue:Journal of Computer and System Sciences