[. Emir, A. Kennedy, C. Russo, and D. Yu, Variance and Generalized Constraints for C $^{\sharp}$ Generics, Proceedings of the 20th European conference on Object-Oriented Programming, p.6
DOI : 10.1007/11785477_18

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

V. Simonet and F. Pottier, A constraint-based approach to guarded algebraic data types, ACM Transactions on Programming Languages and Systems, vol.29, issue.1, 2007.
DOI : 10.1145/1180475.1180476