Type Systems for the OO Programmer

Many software developers learn imperative and/or objectoriented programming first in their career. Meanwhile, most of the research done on programming languages is based on
the Lambda-Calculus and functional programming languages.
These are often not intuitive to grasp for someone who has
worked exclusively with object-oriented languages. Some might
even be intimidated by the mathematical terminology. This
paper aims to show that most of these methods are in common
use in Java, but sometimes better known under different names.