{"id":27,"date":"2005-01-20T22:27:18","date_gmt":"2005-01-20T21:27:18","guid":{"rendered":"http:\/\/ken.friislarsen.net\/blog\/?p=27"},"modified":"2010-05-27T13:38:03","modified_gmt":"2010-05-27T11:38:03","slug":"fanboy","status":"publish","type":"post","link":"http:\/\/ken.friislarsen.net\/blog\/2005\/01\/20\/fanboy\/","title":{"rendered":"Lambda-DAG"},"content":{"rendered":"<p>Yesterday I attended a talk by <a href=\"http:\/\/www.cc.gatech.edu\/%7Eshivers\">Olin Shivers<\/a> about a clever way to <a href=\"http:\/\/www.itu.dk\/research\/funtechs\/coplas\/talks\/2005-01-19.html\">representing lambda terms as DAGs<\/a>.<\/p>\n<p style=\"text-align: center;\"><img loading=\"lazy\" decoding=\"async\" src=\"http:\/\/ken.friislarsen.net\/blog\/images\/olin-lambda-dag.jpeg\" alt=\"Olin Shivers talking about representing Lambda terms as DAGs\" height=\"480\" width=\"640\"><br \/><i>Olin talking about uplinks. <small>(Yes, I mainly took the picture to test my new camera mobile phone.)<\/small><\/i><\/p>\n<p>It was a nifty technique Olin presented clever but simple. After the talk you had a feeling that you completely understood the technique, and it seemed useful for a large class of problems. The main drawback is that the data structure is ephemeral (that is, not persistent), which means that when you perform an update you destructively update the term.<\/p>\n","protected":false},"excerpt":{"rendered":"<p>Yesterday I attended a talk by Olin Shivers about a clever way to representing lambda terms as DAGs. Olin talking about uplinks. (Yes, I mainly took the picture to test my new camera mobile phone.) It was a nifty technique Olin presented clever but simple. After the talk you had a feeling that you completely <a class=\"read-more\" href=\"http:\/\/ken.friislarsen.net\/blog\/2005\/01\/20\/fanboy\/\">[&hellip;]<\/a><\/p>\n","protected":false},"author":2,"featured_media":0,"comment_status":"open","ping_status":"closed","sticky":false,"template":"","format":"standard","meta":{"footnotes":""},"categories":[4],"tags":[],"class_list":["post-27","post","type-post","status-publish","format-standard","hentry","category-coding"],"_links":{"self":[{"href":"http:\/\/ken.friislarsen.net\/blog\/wp-json\/wp\/v2\/posts\/27","targetHints":{"allow":["GET"]}}],"collection":[{"href":"http:\/\/ken.friislarsen.net\/blog\/wp-json\/wp\/v2\/posts"}],"about":[{"href":"http:\/\/ken.friislarsen.net\/blog\/wp-json\/wp\/v2\/types\/post"}],"author":[{"embeddable":true,"href":"http:\/\/ken.friislarsen.net\/blog\/wp-json\/wp\/v2\/users\/2"}],"replies":[{"embeddable":true,"href":"http:\/\/ken.friislarsen.net\/blog\/wp-json\/wp\/v2\/comments?post=27"}],"version-history":[{"count":1,"href":"http:\/\/ken.friislarsen.net\/blog\/wp-json\/wp\/v2\/posts\/27\/revisions"}],"predecessor-version":[{"id":65,"href":"http:\/\/ken.friislarsen.net\/blog\/wp-json\/wp\/v2\/posts\/27\/revisions\/65"}],"wp:attachment":[{"href":"http:\/\/ken.friislarsen.net\/blog\/wp-json\/wp\/v2\/media?parent=27"}],"wp:term":[{"taxonomy":"category","embeddable":true,"href":"http:\/\/ken.friislarsen.net\/blog\/wp-json\/wp\/v2\/categories?post=27"},{"taxonomy":"post_tag","embeddable":true,"href":"http:\/\/ken.friislarsen.net\/blog\/wp-json\/wp\/v2\/tags?post=27"}],"curies":[{"name":"wp","href":"https:\/\/api.w.org\/{rel}","templated":true}]}}