Whiteoak: introducing structural typing into java

  title={Whiteoak: introducing structural typing into java},
  author={Joseph Gil and Itay Maman},
This paper presents WHITEOAK: a JAVA extension that introduces structural type equivalence and subtyping into the language. We argue that structural subtyping addresses common software design problems, and promotes the development of loosely coupled modules without compromising type safety. We discuss language design issues, including subtyping in face of self-referencing structural types, compile-time operators for computing the new types from existing ones, and the semantics of constructors… CONTINUE READING
Highly Cited
This paper has 45 citations. REVIEW CITATIONS


Publications referenced by this paper.

Similar Papers

Loading similar papers…