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]

Authors

Norman Ramsey

Identified as Norman Ramsey

João Dias

This author has not been identified. Look up 'João Dias' in Google