Compiling lazy pattern matching
LFP '92 Proceedings of the 1992 ACM conference on LISP and functional programming
Fast parallel implementation of lazy languages—the EQUALS experience
LFP '92 Proceedings of the 1992 ACM conference on LISP and functional programming
Unification factoring for efficient execution of logic programs
POPL '95 Proceedings of the 22nd ACM SIGPLAN-SIGACT symposium on Principles of programming languages
Fast strictness analysis based on demand propagation
ACM Transactions on Programming Languages and Systems (TOPLAS)
Principles and practice of unification factoring
ACM Transactions on Programming Languages and Systems (TOPLAS)
Proceedings of the sixth ACM SIGPLAN international conference on Functional programming
Handbook of automated reasoning
EQUALS – a fast parallel implementation of a lazy language
Journal of Functional Programming
Fast Packet Classification Using Condition Factorization
ACNS '09 Proceedings of the 7th International Conference on Applied Cryptography and Network Security
| Hi-index | 0.00 |