My final year thesis at the Department of Computing, Imperial College focused on object oriented programming languages. My supervisor was the brilliant Sophia Drossopoulou. Along with Christopher Anderson and Klaus Ostermann we used my thesis as the basis of a paper that was presented at 6th Workshop on Formal Techniques for Java-like Programs - FTfJP’2004 on 15 June 2004:

We suggest a simple model for a restricted form of dependent types in object oriented languages, whereby classes belong to groups and dependency is introduced via intra-group references using the MyGrp keyword. We show how our approach can code well-known examples from the literature, present the formal model and outline soundness of the type system.

You can download the paper here.

@inproceedings{ concord-ftfjp04,
 author    = {Paul Jolly and Sophia Drossopoulou and Christopher Anderson and Klaus Ostermann},
 title     = {Simple Dependent Types: Concord},
 booktitle = {ECOOP Workshop on Formal Techniques for Java Programs (FTfJP 2004)},
 year      = {2004},
 month     = {June},
 address   = {Oslo, Norway},
 url       = {https://blog.myitcv.io/2004/06/15/ftfjp-concord.html}
}