Department of
Electronics and Informatics
This project is aimed at investigating type systems for programming languages. Recent work attempts to develop a type system with set operations that captures various language constructs manipulating data types such as operator overloading and inheritance in object-oriented programming.