Boris Bokowski. CoffeeStrainer: Statically-Checked Constraints on the Definition and Use of Types in Java. In Oscar Nierstrasz, Michel Lemoine, editors, Software Engineering - ESEC/FSE 99, 7th European Software Engineering Conference, Held Jointly with the 7th ACM SIGSOFT Symposium on the Foundations of Software Engineering, Toulouse, France, September 1999, Proceedings. Volume 1687 of Lecture Notes in Computer Science, pages 355-374, Springer, 1999. [doi]
Abstract is missing.