Type Systems in Object Oriented Programming Languages

The two main purposes of this project are to investigate type systems in computer programming languages and to examine the claim that Emerald, and object oriented programming language, is type safe. This report describes what type systems are, what type safeness is and how it can be shown. The claim that Emerald is type safe is then analysed.