Concept-controlled polymorphism
Proceedings of the 2nd international conference on Generative programming and component engineering
Quantified types in an imperative language
ACM Transactions on Programming Languages and Systems (TOPLAS)
Hi-index | 0.00 |