Structure and Properties of Traces for Functional Programs

Olaf Chitil, Yong Luo. Structure and Properties of Traces for Functional Programs. Electronic Notes in Theoretical Computer Science, 176(1):39-63, 2007. [doi]

Abstract

Abstract is missing.