Title: Formal models for programming languages: FJ and FGJ

Speaker: Alexandra Stefan 

Abstract:
  Support for compositionality and genericity is desired for every 
programming language. Separate compilation is a new form of 
compositionality: source code fragments can be typechecked and compiled 
separately, and if their mutual assumptions are satisfied, they can be 
linked together with no need for recompilation. A group of researchers 
have shown that a core calculus of Java, Featherweight Java (FJ), has this 
property. We want to study the relation between Generic Java and this 
property. For this purpose we use an extension of FJ: Featherweight 
Generic Java (FGJ).