3 search results - page 1 / 1 » An extensible dynamically-typed hierarchy of exceptions |
HASKELL
2006
ACM
13 years 10 months ago
2006
ACM
In this paper we address the lack of extensibility of the exception type in Haskell. We propose a lightweight solution involving the use of existential types and the Typeable clas...
ENTCS
2006
13 years 4 months ago
2006
Properties such as logging, persistence, debugging, tracing, distribution, performance monitoring and exception handling occur in most programming paradigms and are normally very ...
POPL
1999
ACM
13 years 9 months ago
1999
ACM
A promising technique for protecting privacy and integrity of sensitive data is to statically check information flow within programs that manipulate the data. While previous work...