tag:blogger.com,1999:blog-5722310642266356003.post8856138743050380390..comments2024-01-07T23:21:32.676+01:00Comments on The Axis of Eval: ZippersUnknownnoreply@blogger.comBlogger3125tag:blogger.com,1999:blog-5722310642266356003.post-42493656741824984252011-08-26T08:40:37.939+02:002011-08-26T08:40:37.939+02:00Thanks for the plug, Manuel! Though I must say, me...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.Robhttps://www.blogger.com/profile/05106663398227635415noreply@blogger.comtag:blogger.com,1999:blog-5722310642266356003.post-39958926703866122332011-08-25T23:50:51.707+02:002011-08-25T23:50:51.707+02:00Thanks, I'll check it out.Thanks, I'll check it out.Manuel Simonihttps://www.blogger.com/profile/07840673741485280526noreply@blogger.comtag:blogger.com,1999:blog-5722310642266356003.post-33047658848281947972011-08-25T22:39:11.445+02:002011-08-25T22:39:11.445+02:00I like this paper on zippers and dataflow analyses...I like this paper on zippers and dataflow analyses - it explains the benefits nicely in a (very) non-trivial setting. <br /><br />http://www.cs.tufts.edu/~nr/pubs/zipcfg-abstract.htmlGeorgehttps://www.blogger.com/profile/07055879155666418867noreply@blogger.com