A simple rewrite notion for call-time choice semantics
Konferenzberichte:
PPDP'07: Proceedings of the 9th International ACM SIGPLAN Conference on Principles and Practice of Declarative Programming
ISBN: 9781595937698
Datum der Publikation: 2007
Seiten: 197-208
Art: Konferenz-Beitrag