title: polymorphism and type inference in database programming. authors: p buneman , a ohori. venue: acm trans . database syst .. year: 1996
title: polymoprhism and type inferencein database programming . technicalreport , universities of. authors: p buneman , a ohori. venue: acm transaction on database. year: nan