Foundations for the implementation of higher-order subtyping
ICFP '97 Proceedings of the second ACM SIGPLAN international conference on Functional programming
LICS '12 Proceedings of the 2012 27th Annual IEEE/ACM Symposium on Logic in Computer Science
Hi-index | 0.00 |