A Simple Calculus of Exception Handling (1995)

by P de Groote
Venue:In To appear: Proceedings Typed Lambda Calculi and Applications (TLCA