Temat pracy: Rozszerzenie generycznych typów danych w języku Java.

Kompilator:

1) Klasa TransType

Bibliografia:

1. [Bur98] Rupiah: An extension to Java supporting match-bounded parametric polymorphism, ThisType, and exact typing. 
2. [CCH+89] F-Bounded Polymorphism for Object-Oriented Programming.
   
3. [GJSB05] The Java Language Specification, Third Edition. Addison Wesley, 2005
4. [ORW97] Two Ways to Bake Your Pizza - Translating Parameterised Types into Java, http://pizzacompiler.sourceforge.net/doc/pizza-translation.pdf
5. [OW97] Pizza into Java: Translating theory into practice, Revised from a paper presented in Proc. 24th ACM Symposium on Principles of Programming Languages,
   Paris, France, January 1997.http://pizzacompiler.sourceforge.net/doc/pizza-language-spec.pdf