Operational semantics for declarative multi-paradigm languages

Oliver Villarroya Francisco Javier, Vidal Oriola Germán Francisco

2005

Journal of Symbolic Computation