Exam Questions

Moderator: Type Systems of Programming Languages

Stao
Mausschubser
Mausschubser
Beiträge: 60
Registriert: 12. Feb 2008 20:54

Exam Questions

Beitrag von Stao »

Hi,

will the exam tasks be similar to the exercises?
Do we have to do many proofs?
What can we expect?

erdweg
Moderator
Moderator
Beiträge: 60
Registriert: 28. Mär 2013 10:08

Re: Exam Questions

Beitrag von erdweg »

That's an excellent question for the Q&A lecture we had...

The exam is somewhat unlike the exercises because: you don't have to write code and you have less time per task.

Sebastian

antinomia
Neuling
Neuling
Beiträge: 7
Registriert: 6. Nov 2013 08:09

Re: Exam Questions

Beitrag von antinomia »

Hi,

First of all - sorry for not asking this question at the QA lecture.

To the point - could you list the advanced topics we have covered in lectures 20-21? I guess I missed those two classes and I'm not quite sure what parts of the book could be included in the exam.

Thanks!

All the best,
Iva

erdweg
Moderator
Moderator
Beiträge: 60
Registriert: 28. Mär 2013 10:08

Re: Exam Questions

Beitrag von erdweg »

Lectures 20-21 covered dependent types.

Antworten

Zurück zu „Type Systems of Programming Languages“