Lambda-splitting: a higher-order approach to cross-module optimizations
ICFP '97 Proceedings of the second ACM SIGPLAN international conference on Functional programming
Proceedings of the ACM SIGPLAN 1999 conference on Programming language design and implementation
Dependency analysis for Standard ML
ACM Transactions on Programming Languages and Systems (TOPLAS)
Extensional equivalence and singleton types
ACM Transactions on Computational Logic (TOCL)
Hi-index | 0.00 |