@article {IOPORT.50108402,
    author       = {Buneman, Peter and Ohori, Atsushi},
    title        = {Polymorphism and type inference in database programming},
    year         = {1996},
    journal      = {ACM Trans. Database Syst.},
    volume       = {21},
    number       = {1},
    pages        = {30-76},
    identifier   = {50108402},
}