M. Blume, U. Acar, and W. Chae, Exception Handlers as Extensible Cases, APLAS '08: 6th Asian Symposium on Programming Languages and Systems, pp.273-289, 2008.
DOI : 10.1007/BFb0032736
URL : http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.146.3173

F. and W. Burton, Type extension through polymorphism, ACM Transactions on Programming Languages and Systems, vol.12, issue.1, pp.135-138, 1990.
DOI : 10.1145/77606.214515

J. Carette and O. Kiselyov, Multi-stage programming with functors and monads: Eliminating abstraction overhead from generic code, GPCE, pp.256-274, 2005.

J. Carette, L. E. Van-dijk, and O. Kiselyov, Syntax extension for monads in ocaml

K. Czarnecki, J. T. Donnell, J. Striegnitz, and W. Taha, DSL Implementation in MetaOCaml, Template Haskell, and C++, Domain-Specific Program Generation, pp.51-72, 2003.
DOI : 10.1007/978-3-540-25935-0_4

M. Fluet and R. Pucella, Phantom types and subtyping The Netherlands, The Netherlands, TCS '02: Proceedings of the IFIP 17th World Computer Congress -TC1 Stream / 2nd IFIP International Conference on Theoretical Computer Science, pp.448-460, 2002.

J. Garrigue, Programming with polymorphic variants, ML Workshop, 1998.

J. Garrigue, Relaxing the Value Restriction, International Symposium on Functional and Logic Programming, 2004.
DOI : 10.1007/978-3-540-24754-8_15

Z. Samuel, C. Guyer, and . Lin, An annotation language for optimizing software libraries, DSL, pp.39-52, 1999.

C. Richard, D. B. Holt, and . Wortman, A sequence of structured subsets of pl/i, SIGCSE Bull, vol.6, issue.1, pp.129-132, 1974.

S. Marlow, An extensible dynamically-typed hierarchy of exceptions, Proceedings of the 2006 ACM SIGPLAN workshop on Haskell , Haskell '06, 2006.
DOI : 10.1145/1159842.1159854

R. Milner, M. Tofte, and D. Macqueen, The Definition of Standard ML, 1990.

N. Mitchell and C. Runciman, A static checker for safe pattern matching in Haskell, Trends in Functional Programming, 2007.

F. Pessaux, Détection statique d'exceptions non rattrapées en Objective Caml, 2000.

N. Ramsey, Eliminating Spurious Error Messages Using Exceptions, Polymorphism, and Higher-Order Functions, The Computer Journal, vol.42, issue.5, pp.360-372, 1999.
DOI : 10.1093/comjnl/42.5.360
URL : http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.46.9191

A. Rossberg, D. Le-botlan, G. Tack, T. Brunklaus, and G. Smolka, Alice through the looking glass, Trends in Functional Programming, pp.77-96, 2006.

J. Talpin and P. Jouvelot, The Type and Effect Discipline, Information and Computation, vol.111, issue.2, pp.245-296, 1994.
DOI : 10.1006/inco.1994.1046

D. Teller, A. Spiwack, and T. Varoquaux, Catch me if you can Software package available at http://www.univ-orleans.fr

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

K. Yi and S. Ryu, A cost-effective estimation of uncaught exceptions in Standard ML programs, Theoretical Computer Science, vol.277, issue.1-2, pp.185-217, 2002.
DOI : 10.1016/S0304-3975(00)00317-0