Breazu-Tannen.Database programming in Machiavelli { a polymorphic language with static type inference (0)

by A Ohori, P Buneman, V
Venue:In Proceedings of the ACM SIGMOD conference