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
Relaxing the Value Restriction, International Symposium on Functional and Logic Programming, 2004. ,
DOI : 10.1007/978-3-540-24754-8_15
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