Interprocedural exception analysis for Java, Proceedings of the 2001 ACM symposium on Applied computing , SAC '01, 2001. ,
DOI : 10.1145/372202.372786
Assessing the Impact of Aspects on Exception Flows: An Exploratory Study, 2008. ,
DOI : 10.1007/978-3-540-70592-5_10
Monadic regions, Journal of Functional Programming, 2006. ,
Integrating functional and imperative programming, Proceedings of the 1986 ACM conference on LISP and functional programming , LFP '86 ,
DOI : 10.1145/319838.319848
Exceptions are shared secrets, 2012. ,
Practical Foundations for Programming Languages, 2012. ,
Global variables in Haskell, Journal of functional Programming, vol.14, issue.5, 2004. ,
DOI : 10.1017/S0956796802004471
Extensible effects, Proceedings of the 2013 ACM SIGPLAN symposium on Haskell, Haskell '13 ,
DOI : 10.1145/2503778.2503791
Capability-based computer systems, 1984. ,
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
Robust Composition: Towards a Unified Approach to Access Control and Concurrency Control, 2006. ,
The Definition of Standard ML (Revised), 1997. ,
Notions of computation and monads. Information and Computation, 1991. ,
Tagging monad transformer layers, 2010. ,
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
The protection of information in computer systems, Proceedings of the IEEE, vol.63, issue.9, 1975. ,
DOI : 10.1109/PROC.1975.9939
The Pi-Calculus: A Theory of Mobile Processes, 2003. ,
Static analysis of exception handling in Ada. Software? Practice and Experience, pp.1157-1174, 1993. ,
Monads, zippers and views: virtualizing the monad stack, 2011. ,
Template meta-programming for Haskell, ACM SIGPLAN Notices, vol.37, issue.12, pp.60-75, 2002. ,
DOI : 10.1145/636517.636528
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
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