Foundations of object‐oriented languages