tag:blogger.com,1999:blog-827419514217130218.post9144093789250928496..comments2023-12-11T04:47:19.677-05:00Comments on Request for Logic: Holey Data, Part 3/3: The Type Of A One-Hole ContextRobhttp://www.blogger.com/profile/05106663398227635415noreply@blogger.comBlogger2125tag:blogger.com,1999:blog-827419514217130218.post-86620471311247643252011-08-24T15:50:48.607-04:002011-08-24T15:50:48.607-04:00I hadn't heard about any of these things, than...I hadn't heard about any of these things, thanks for sharing these! I've posted a follow-up about Minamide's paper: http://requestforlogic.blogspot.com/2011/08/holey-data-postscript-hole-abstraction.htmlRobhttps://www.blogger.com/profile/05106663398227635415noreply@blogger.comtag:blogger.com,1999:blog-827419514217130218.post-10922903295702635862011-08-24T09:35:17.682-04:002011-08-24T09:35:17.682-04:00This was a fun series! I wonder if you've see...This was a fun series! I wonder if you've seen the paper "A Functional Representation of Data Structures with a Hole" by Minamide, which is related (though less elegantly presented):<br /><br /> http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.8.5594<br /><br />I spent a few weeks with Claudio Russo this summer thinking about some of this stuff, and one thing I'd suggest looking at is Deutsch-Schorr-Waite algorithms coded via this representation of zippers. <br /><br />These ideas also relate to the very nice paper by Sobel and Friedman, "Recycling continuations".Aaron Turonhttps://www.blogger.com/profile/04402065550261790406noreply@blogger.com