Thursday, August 25, 2011


I really need to understand Zippers. This seems like a good article. In the meantime, I'll meditate on the following diagram.


George said...

I like this paper on zippers and dataflow analyses - it explains the benefits nicely in a (very) non-trivial setting.

Manuel Simoni said...

Thanks, I'll check it out.

Rob said...

Thanks for the plug, Manuel! Though I must say, meditating on that diagram (which is fundamentally just a doubly linked list, anyway) is probably not the fastest path to enlightenment :-). I'd personally suggest taking a look at Minamide's 1998 POPL Paper, since the first part of my 3-part series is almost exactly an accidental reinvention of that paper.