Publisher
Springer Berlin Heidelberg
Reference12 articles.
1. Abadi, M., Cardelli, L., Pierce, B., Rémy, D.: Dynamic typing in polymorphic languages. In: Proceedings of the 1992 workshop on ML and its applications (1992)
2. Crary, K., Weirich, S., Gregory Morrisett, J.: Intensional polymorphism in type-erasure semantics. In: International Conference on Functional Programming, pp. 301–312 (1998)
3. Dubois, C., Rouaix, F., Weis, P.: Extensional polymorphism. In: Proceedings of the 22th ACM Conference on Principles of Programming Languages (January 1995)
4. Duggan, D., Ophel, J.: Open and closed scopes for constrained genericity, vol. 275, pp. 215–258 (2002)
5. Lecture Notes in Computer Science;R. Hinze,2002
Cited by
1 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献