Operational Semantics for Functional Logic Programs

Oliver Villarroya Francisco Javier, Vidal Oriola Germán Francisco

2002

11th Int'l Workshop on Functional and (Constraint) Logic Programming (Selected Papers)