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