The Java T M Language Specification The Java series, 2005. ,
Principal type-schemes for functional programs, Proceedings of the 9th ACM SIGPLAN-SIGACT symposium on Principles of programming languages , POPL '82, 1982. ,
DOI : 10.1145/582153.582176
URL : http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.645.5233
The definition of Standard ML (Revised), 1997. ,
A Machine-Oriented Logic Based on the Resolution Principle, Journal of the ACM, vol.12, issue.1, pp.23-41, 1965. ,
DOI : 10.1145/321250.321253
Logic Programming over Polymorphically Order-Sorted Types, 1989. ,
DOI : 10.1007/3-540-50667-5_58
OBJ?P The Polymorphic Extension of OBJ?3, pp.99-103, 1999. ,
Type unification in Generic?Java, Proceedings of 18th International Workshop on Unification, 2004. ,
Typeless programming in Java 5.0, Proceedings of the 4th international symposium on Principles and practice of programming in Java , PPPJ '06, pp.175-181, 2006. ,
DOI : 10.1145/1168054.1168079
Polymorphism in OBJ-P, Proceedings. Volume LNCS 1755 of Lecture Notes of Computer Science, pp.148-153, 1999. ,
DOI : 10.1007/3-540-46562-6_13
Type inferencing for polymorphic order-sorted logic programs, International Conference on Logic Programming, pp.765-779, 1995. ,
An Efficient Unification Algorithm, ACM Transactions on Programming Languages and Systems, vol.4, issue.2, pp.258-282, 1982. ,
DOI : 10.1145/357162.357169
URL : http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.96.6119
A theory of type polymorphism in programming, Journal of Computer and System Sciences, vol.17, issue.3, pp.348-378, 1978. ,
DOI : 10.1016/0022-0000(78)90014-4