Seite 1 von 1

Type system for managed exceptions

Verfasst: 7. Mär 2014 14:04
von AlexanderF
hello,

as far as I can see,
the type system for managed exceptions, we had in the lecture,
is not part of the pierce book.

Dr. Erdweg,
can you give any reference for it?


regards,
Alexander

Re: Type system for managed exceptions

Verfasst: 9. Mär 2014 22:22
von timo.b
Hi Alexander,

perhaps my lecture notes about error behavior will help you a little bit. I attached it. The stuff in the red box was wrong or there were some open problems (if I remember right).

Kind regards,
Timo Bähr

Re: Type system for managed exceptions

Verfasst: 10. Mär 2014 09:49
von erdweg
In Pierce's book, a type system for managed exceptions is merely a student exercise. I don't have a reference.
Sebastian