Plt1314 8
(C) Ralf Lämmel, Andrei Varanovich, University of Koblenz Landau
Logistics
- Course site
- Date published: 22 Jan 2014
- Deadline SVN: 28 Jan 2014 (End of Day)
- Other logistics as previously
Assignment
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.
page revision: 3, last edited: 22 Jan 2014 14:41