Type-safe convariant specialization with generalized matching
Information and Computation - FOOL VII
A comparative study of language support for generic programming
OOPSLA '03 Proceedings of the 18th annual ACM SIGPLAN conference on Object-oriented programing, systems, languages, and applications
An extended comparative study of language support for generic programming
Journal of Functional Programming
Enhancing Semantic Web Services with Inheritance
ISWC '08 Proceedings of the 7th International Conference on The Semantic Web
JavaGI: The Interaction of Type Classes with Interfaces and Inheritance
ACM Transactions on Programming Languages and Systems (TOPLAS)
Hi-index | 0.00 |