dvanhorn @ λ-calcul.us » Planet http://dvanhorn.lambda-calcul.us Research weblog for David Van Horn Sat, 28 Aug 2010 13:39:54 +0000 http://wordpress.org/?v=2.9.2 en hourly 1 Dilbert: Context semantics for the Geometry of Interaction http://dvanhorn.lambda-calcul.us/2009/06/19/dilbert-context-semantics-for-the-geometry-of-interaction/ http://dvanhorn.lambda-calcul.us/2009/06/19/dilbert-context-semantics-for-the-geometry-of-interaction/#comments Fri, 19 Jun 2009 21:13:34 +0000 dvanhorn http://dvanhorn.lambda-calcul.us/?p=127 Code from the past couple of posts on context semantics is now available on Planet.

PLaneT Package Repository : PLaneT > dvanhorn > dilbert.plt

]]> http://dvanhorn.lambda-calcul.us/2009/06/19/dilbert-context-semantics-for-the-geometry-of-interaction/feed/ 0 RaList: Purely Functional Random-Access Lists http://dvanhorn.lambda-calcul.us/2009/05/18/ralist-purely-functional-random-access-lists/ http://dvanhorn.lambda-calcul.us/2009/05/18/ralist-purely-functional-random-access-lists/#comments Tue, 19 May 2009 00:34:03 +0000 dvanhorn http://dvanhorn.lambda-calcul.us/?p=92 dvanhorn > ralist.plt ]]> Random-access lists (Okasaki, FPCA ‘95) are a purely functional data structure for representing lists of values. A random-access list may act as a drop in replacement for the usual sequential list data structure (cons?, cons, car, cdr), which additionally supports fast index-based addressing and updating (list-ref, list-set).

PLaneT Package Repository : PLaneT > dvanhorn > ralist.plt

]]> http://dvanhorn.lambda-calcul.us/2009/05/18/ralist-purely-functional-random-access-lists/feed/ 0