1. Principal typings for java-like languages;Ancona;SIGPLAN Not,2004
2. Featherweight java with dynamic and static overloading;Bettini;Sci Comput Program,2009
3. Stateful traits and their formalization;Bergel;J Comput Lang Syst Struct,2008
4. Bierman GM, Parkinson MJ, Pitts AM. Mj: an imperative core calculus for java and java with effects. Technical Report, University of Cambridge Computer Laboratory, J.J. Thomson Avenue, Cambridge, CB3 0FD, UK; 2003.
5. Soft typing;Cartwright,1991