1. M. Abadi, L. Cardeli, B. Pierce, D. Remy, Dynamic typing in polymorphic languages, in: P. Lee (Ed.), Proc. ACM, SIGPLAN Workshop on ML and its Applications, San Francisco, CA, Carnegie-Mellon University Technical Report CMU-CS-93-105, June 1992.
2. Dynamic typing in a statically typed language;Abadi;ACM Trans. Programming Languages Systems,1991
3. Subtyping recursive types;Amadio;ACM Trans. Programming Languages Systems,1993
4. A.W. Appel, Z. Shao, A type-based compiler for Standard ML, in: D. Hanson (Ed.), Proc. ACM SIGPLAN Conf. on Programming Language Design and Implementation, SIGPLAN Notices, Vol. 30 (6), ACM Press, New York, June 1995.
5. Making the future safe for the past: adding genericity to the Java programming language;Bracha,1998