title: polymorphism and type inference in database programming. authors: atsushi ohori , peter buneman. venue: acm trans . database syst .. year: 1996
title: polymorphism and type inference in database programming. authors: peter buneman , atsushi ohori. venue: acm transactions on database systems ( tods ). year: 1996