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 http://dvanhorn.lambda-calcul.us/2010/06/08/photos-from-tfp-2010/ http://dvanhorn.lambda-calcul.us/2010/06/08/photos-from-tfp-2010/#comments Tue, 08 Jun 2010 15:07:45 +0000 dvanhorn http://dvanhorn.lambda-calcul.us/?p=268 Some photos from TFP 2010, Norman, Oklahoma.

]]> http://dvanhorn.lambda-calcul.us/2010/06/08/photos-from-tfp-2010/feed/ 0 http://dvanhorn.lambda-calcul.us/2010/02/01/photos-from-popl-2010/ http://dvanhorn.lambda-calcul.us/2010/02/01/photos-from-popl-2010/#comments Mon, 01 Feb 2010 17:23:28 +0000 dvanhorn http://dvanhorn.lambda-calcul.us/?p=197 Some photos from POPL 2010 in Madrid, Spain.

]]> http://dvanhorn.lambda-calcul.us/2010/02/01/photos-from-popl-2010/feed/ 0 http://dvanhorn.lambda-calcul.us/2009/09/26/photos-from-the-scheme-workshop/ http://dvanhorn.lambda-calcul.us/2009/09/26/photos-from-the-scheme-workshop/#comments Sun, 27 Sep 2009 03:25:55 +0000 dvanhorn http://dvanhorn.lambda-calcul.us/?p=174 Some photos from the 2009 Scheme and Functional Programming Workshop at Northeastern.

]]> http://dvanhorn.lambda-calcul.us/2009/09/26/photos-from-the-scheme-workshop/feed/ 0