Adding New Rules to an LCF-style Logic Implementation
Authors:
Konrad Slind
Affiliations:
-
Venue:
HOL'92 Proceedings of the IFIP TC10/WG10.2 Workshop on Higher Order Logic Theorem Proving and its Applications
Year:
1992
Citing
0
Cited
1
Transparent optimisation of rewriting combinators
Journal of Functional Programming
Quantified Score
Hi-index
0.00
Visualization
Abstract