Database Programming in Machiavelli - a Polymorphic Language with Static Type Inference.

conf/sigmod/89 Atsushi Ohori Peter Buneman Val Tannen Database Programming in Machiavelli - a Polymorphic Language with Static Type Inference. 46-57 1989 conf/sigmod/89 SIGMOD Conference db/conf/sigmod/sigmod89.html#OhoriBT89 http://doi.acm.org/10.1145/67544.66931 SIGMOD89/P046.PDF journals/csur/AtkinsonB87 journals/cj/AtkinsonBCCM83 journals/tods/AlbanoCO85 journals/tods/AbiteboulH87 conf/vldb/BancilhonBKV87 ... journals/tcs/BunemanJO91 ... ... conf/vldb/CareyDRS86 conf/sigmod/CopelandM84 journals/tcs/Courcelle83 journals/csur/CardelliW85 ... journals/csur/HullK87 ... ... ... journals/jcss/Milner78 ... conf/oodbs/OBrienBS86 conf/icdt/Ohori88 ... journals/tods/Schmidt77 conf/popl/Stansifer88 ... conf/lics/Wand87