Plt1314 8

(C) Ralf Lämmel, Andrei Varanovich, University of Koblenz Landau


  • Course site
  • Date published: 22 Jan 2014
  • Deadline SVN: 28 Jan 2014 (End of Day)
  • Other logistics as previously


Implement (in Prolog, Haskell or your favourite language) typing rules of Featherweight Java from the lecture. Implement the rules for the following cases:

  • subclassing
  • subtyping
  • field lookup
  • method type

You need to have "built-in" int type, which is only used for type checking. Use example from the lecture for illustration.