Operational semantics for declarative multi-paradigm languages. (2005)

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