Future directions in program transformations
ACM Computing Surveys (CSUR) - Special issue: position statements on strategic directions in computing research
High level reading and data structure compilation
Proceedings of the 24th ACM SIGPLAN-SIGACT symposium on Principles of programming languages
Efficient and flexible matching of recursive types
Information and Computation
Higher-Order and Symbolic Computation
An incremental unique representation for regular trees
Nordic Journal of Computing
An efficient static analysis algorithm to detect redundant memory operations
Proceedings of the 2002 workshop on Memory system performance
Regular expression types for XML
ACM Transactions on Programming Languages and Systems (TOPLAS)
Higher-Order and Symbolic Computation
Efficient algorithms for isomorphisms of simple types
Mathematical Structures in Computer Science
Generic discrimination: sorting and paritioning unshared data in linear time
Proceedings of the 13th ACM SIGPLAN international conference on Functional programming
Sorting improves word-aligned bitmap indexes
Data & Knowledge Engineering
Optimizing relational algebra operations using generic equivalence discriminators and lazy products
Proceedings of the 2010 ACM SIGPLAN workshop on Partial evaluation and program manipulation
Logic of infons: The propositional case
ACM Transactions on Computational Logic (TOCL)
Reordering columns for smaller indexes
Information Sciences: an International Journal
Reordering rows for better compression: Beyond the lexicographic order
ACM Transactions on Database Systems (TODS)
| Hi-index | 5.23 |