A semantics for tracing declarative multi-paradigm programs (2004)

by B Braßel, M Hanus, F Huch, G Vidal
Venue:In Proceedings of the 6th ACM SIGPLAN International Conference on Principles and Practice of Declarative Programming (PPDP’04