A. Ohori, P. Buneman. Static Type Inference for Parametric Classes. In Conf. Proc. Object-Oriented Programming: Systems, Languages, Applications (OOPSLA), appeared as SIGPLAN Notices, Vol. 24, No. 10, Pages 445-456, October 1989.
[ Parametricity ] [ Dbprog ]
@InProceedings{ohbu89,
Author = {Ohori, A. and Buneman, P.},
Title = {Static Type Inference for Parametric Classes},
BookTitle = {Conf. Proc. Object-Oriented Programming: Systems, Languages, Applications (OOPSLA)},
Pages = {445--456},
Month = {October},
Year = {1989}
}
Get EndNote Reference (.ref)