An Operational Semantics for Declarative Multi-Paradigm Languages

Oliver Villarroya Francisco Javier, Vidal Oriola Germán Francisco

2002

2nd Int'l Workshop on Reduction Strategies and Programming (Selected papers)