Database Programming in Machiavelli: a Polymorphic Language with Static Type Inference (1989)

by A Ohori, P Buneman, V Breazu-Tannen
Venue:In Proceedings of ACM-SIGMOD International Conference on Management of Data