An Applicative Control-Flow Graph Based on Huet s Zipper

Norman Ramsey, João Dias. An Applicative Control-Flow Graph Based on Huet s Zipper. Electronic Notes in Theoretical Computer Science, 148(2):105-126, 2006. [doi]

Abstract

Abstract is missing.