Look at the modern type systems we have around and try to see how they are different from what was mainstream by that time.
Look at the modern type systems we have around and try to see how they are different from what was mainstream by that time.