Improving Computations in a Typed Functional Logic Language
AMAST '98 Proceedings of the 7th International Conference on Algebraic Methodology and Software Technology
Java Type Unification with Wildcards
Applications of Declarative Programming and Knowledge Management
Operational semantics for declarative multi-paradigm languages
Journal of Symbolic Computation
Hi-index | 0.00 |