Sciweavers

56
Voted
PADL
2010
Springer
15 years 5 months ago
Explicitly Typed Exceptions for Haskell
Abstract. We describe a monad for checked, explicitly typed exceptions, which provides as a simple Haskell library what for other languages is a native feature. Multi parameter typ...
José Iborra