A simple rewrite notion for call-time choice semantics

  1. López-Fraguas, F.J.
  2. Rodríguez-Hortalá, J.
  3. Sánchez-Hernández, J.
Actas:
PPDP'07: Proceedings of the 9th International ACM SIGPLAN Conference on Principles and Practice of Declarative Programming

ISBN: 9781595937698

Año de publicación: 2007

Páginas: 197-208

Tipo: Aportación congreso

DOI: 10.1145/1273920.1273947 GOOGLE SCHOLAR