Title: Polymorphic type inference for object-oriented programming languages
First published: 1994
Subjects: Object-oriented programming (Computer science), Semantics, Programming languages (Electronic computers)
LC classification: QA76.64 .H45 1994