title: polymorphism and type inference in database programming. authors: p buneman , a ohori. venue: acm trans . database syst .. year: 1996
title: polymorphic type inference. authors: d leivant. venue: proceedings of the 10th acm sigact-sigplan symposium on & hellip ; ,. year: 1983.0