An applicative controlflow graph based on Huet’s zipper (2005)

by Norman Ramsey, João Dias
Venue:In ACM SIGPLAN Workshop on ML