Operational Semantics for Declarative Multi-Paradigm Languages (0)

by E Albert, M Hanus, F Huch, J Oliver, G Vidal
Venue:Journal of Symbolic Computation