Database programming in Machiavelli – a polymorphic language with static type inference (1989)

by A Ohori, P Buneman, V Breazu-Tannen
Venue:In: Proc ACM SIGMOD