B. Chang, J. Jo, K. Yi, and K. Choe, Interprocedural exception analysis for Java, Proceedings of the 2001 ACM symposium on Applied computing , SAC '01, 2001.
DOI : 10.1145/372202.372786

R. Coelho, A. Rashid, A. Garcia, N. Cacho, U. Kulesza et al., Assessing the Impact of Aspects on Exception Flows: An Exploratory Study, 2008.
DOI : 10.1007/978-3-540-70592-5_10

M. Fluet and G. Morrisett, Monadic regions, Journal of Functional Programming, 2006.

D. K. Gifford and J. M. Lucassen, Integrating functional and imperative programming, Proceedings of the 1986 ACM conference on LISP and functional programming , LFP '86
DOI : 10.1145/319838.319848

R. Harper, Exceptions are shared secrets, 2012.

R. Harper, Practical Foundations for Programming Languages, 2012.

J. Hughes, Global variables in Haskell, Journal of functional Programming, vol.14, issue.5, 2004.
DOI : 10.1017/S0956796802004471

O. Kiselyov, A. Sabry, and C. Swords, Extensible effects, Proceedings of the 2013 ACM SIGPLAN symposium on Haskell, Haskell '13
DOI : 10.1145/2503778.2503791

H. M. Levy, Capability-based computer systems, 1984.

S. Liang, P. Hudak, and M. Jones, Monad transformers and modular interpreters, Proceedings of the 22nd ACM SIGPLAN-SIGACT symposium on Principles of programming languages , POPL '95
DOI : 10.1145/199448.199528
URL : http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.17.268

M. S. Miller, Robust Composition: Towards a Unified Approach to Access Control and Concurrency Control, 2006.

R. Milner, R. Harper, D. Macqueen, and M. Tofte, The Definition of Standard ML (Revised), 1997.

E. Moggi, Notions of computation and monads. Information and Computation, 1991.

D. Piponi, Tagging monad transformer layers, 2010.

M. Robillard and G. Murphy, Static analysis to support the evolution of exception structure in object-oriented systems, ACM Transactions on Software Engineering and Methodology, vol.12, issue.2, 2003.
DOI : 10.1145/941566.941569

J. H. Saltzer and M. D. Schroeder, The protection of information in computer systems, Proceedings of the IEEE, vol.63, issue.9, 1975.
DOI : 10.1109/PROC.1975.9939

D. Sangiorgi and D. Walker, The Pi-Calculus: A Theory of Mobile Processes, 2003.

C. F. Schaefer and G. N. Bundy, Static analysis of exception handling in Ada. Software? Practice and Experience, pp.1157-1174, 1993.

T. Schrijvers and B. C. Oliveira, Monads, zippers and views: virtualizing the monad stack, 2011.

T. Sheard and S. P. Jones, Template meta-programming for Haskell, ACM SIGPLAN Notices, vol.37, issue.12, pp.60-75, 2002.
DOI : 10.1145/636517.636528

M. Snyder and P. Alexander, Monad Factory: Type-Indexed Monads, Proceedings of the 11th International Conference on Trends in Functional Programming, pp.198-213, 2010.
DOI : 10.1007/978-3-642-22941-1_13

P. Wadler, The essence of functional programming, Proceedings of the 19th ACM SIGPLAN-SIGACT symposium on Principles of programming languages , POPL '92
DOI : 10.1145/143165.143169