Functional programming with combinators
Journal of Symbolic Computation
Completeness of rewrite rules and rewrite strategies for FP
Journal of the ACM (JACM)
Denotational semantics and rewrite rules for FP
POPL '85 Proceedings of the 12th ACM SIGACT-SIGPLAN symposium on Principles of programming languages
Hi-index | 0.00 |