Intersection Types in Java

In the past we analyzed typeless Java programs. One of our results was, that there may be dierent