Type system for managed exceptions

Moderator: Type Systems of Programming Languages

AlexanderF
BASIC-Programmierer
BASIC-Programmierer
Beiträge: 140
Registriert: 2. Mai 2010 17:55

Type system for managed exceptions

Beitrag 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

Benutzeravatar
timo.b
Mausschubser
Mausschubser
Beiträge: 79
Registriert: 28. Sep 2009 16:18

Re: Type system for managed exceptions

Beitrag 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
Dateianhänge
ErrorBehavior.pdf
Lecture 9/12/2013 + 10/12/2013
(33.28 KiB) 48-mal heruntergeladen

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

Re: Type system for managed exceptions

Beitrag von erdweg »

In Pierce's book, a type system for managed exceptions is merely a student exercise. I don't have a reference.
Sebastian

Antworten

Zurück zu „Type Systems of Programming Languages“