Reading a good book

Moderator: Type Systems of Programming Languages

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

Reading a good book

Beitrag von erdweg »

Dear students,

I have the impression that some of you (I know it's not all of you) misinterpret how to study for this lecture. As I frequently mentioned in the lecture and as is written on the lecture's web site (http://www.stg.tu-darmstadt.de/teaching ... _14.en.jsp):
The prime resource for this course is the text book “Types and Programming Languages” by Benjamin Pierce. I highly recommend obtaining a copy.
Of course obtaining a copy is not enough. You also need to look into it. In particular:
* In the book, you can find complete definitions of all languages we discussed in the lecture.
* There is a table of contents and an index in the book. You can use them to look up things.
* The book suggests plenty of additional exercises that you can work on in order to better understand the content.

I am sorry if I seem a bit harsh, but I thought it better to be blunt now, before you start studying for the exam.

Cheers,
Sebastian

Zurück zu „Type Systems of Programming Languages“