Type inference with polymorphic recursion
ACM Transactions on Programming Languages and Systems (TOPLAS)
A larger decidable semiunification problem
Proceedings of the 9th ACM SIGPLAN international conference on Principles and practice of declarative programming
Hi-index | 0.00 |