∃xistential Type » judgmental http://existentialtype.net For People Who Like Type and Types Sat, 12 May 2012 16:35:10 +0000 en hourly 1 http://wordpress.org/?v=3.3.2 Focusing and higher-order abstract syntax http://existentialtype.net/2008/02/17/focusing-and-higher-order-abstract-syntax/ http://existentialtype.net/2008/02/17/focusing-and-higher-order-abstract-syntax/#comments Sun, 17 Feb 2008 12:46:01 +0000 washburn http://existentialtype.net/2008/02/17/focusing-and-higher-order-abstract-syntax/ I figured I would take a few minutes to point out that Noam Zeilberger had an excellent paper in POPL this year on Focusing and higher-order abstract syntax. I've spent some time in the past trying to better understand Andreoli's material on focusing and Girard's* Ludics from the judgmental perspective that I became accustomed to in my formative years, but I never really came up with anything. I found Noam's computational interpertation of focusing quite pleasing.

One low tech solution that has really been helping my wrists lately is that I obtained adjustable height desk for my office. The desks that came with my office were definitely far too tall for me (even when my chair at its maximum height).

* Girard seems to have redecorated his website since I last visited.

]]> http://existentialtype.net/2008/02/17/focusing-and-higher-order-abstract-syntax/feed/ 0