An Operational Approach to the Semantics of Classes: Application to Type Checking
Programming and Computing Software
Type inference with simple selftypes is NP-complete
Nordic Journal of Computing
Algorithms for traversal-based generic programming
Proceedings of the 6th ACM SIGPLAN workshop on Generic programming
Hi-index | 0.00 |