Index of /~tom7/talks

 Name                    Last modified       Size  Description

 Parent Directory        31-May-2009 14:43      -  
 212-imperative-ml-1.txt 14-Oct-2003 16:36     7k  
 212-imperative-ml-2.txt 14-Oct-2003 16:36    11k  
 SAFlashPlayer.exe       01-Feb-2007 08:03   1.5M  
 bovik-award.swf         04-Apr-2009 20:03     2k  
 compbio-blam.swf        09-Dec-2004 10:00    82k  
 concert-talk-4.ppt      18-Nov-2002 14:21   1.5M  
 concert-talk.ppt        08-Nov-2002 15:08   124k  
 concert.ppt             09-Jul-2002 15:23   202k  
 concert2.5.swf          07-Feb-2005 12:06    38k  
 cs5csl21.swf            18-Aug-2005 14:41   152k  
 cs5csl23.fla            20-Aug-2005 00:57   951k  
 cs5csl23.swf            20-Aug-2005 00:57   160k  
 dagstuhl7.swf           01-Feb-2007 07:37    85k  
 dagstuhl_burning1.swf   29-Jan-2007 11:43    39k  
 defense.pdf             21-Jan-2008 07:53   2.1M  
 defense.swf             21-Jan-2008 01:00   236k  
 fake2.swf               17-Feb-2006 13:57    33k  
 final-drscheme.swf      08-Oct-2003 11:32    63k  
 hemlock6.swf            16-Sep-2006 11:11    75k  
 icfp2006web.swf         20-Sep-2006 17:58   9.0M  
 lfman-talk.swf          04-Apr-2009 18:21   187k  
 lics2004-final.swf      11-Jul-2004 22:05    77k  
 lics2004-final5.swf     11-Jul-2004 22:05   104k  
 lics2004-practice.swf   08-Jul-2004 14:13    77k  
 lics2004-practice5.swf  08-Jul-2004 14:13   112k  
 modal-logic-adultver..> 07-Oct-2005 15:19    91k  
 modal-logic-fun.swf     19-Jul-2005 11:03   182k  
 modal-logic21.fla       07-Oct-2005 10:45   778k  
 modal-logic21.swf       07-Oct-2005 10:44    90k  
 modal-logic6.fla        19-Jul-2005 11:05   908k  
 modal-logic6.swf        19-Jul-2005 11:03   182k  
 no/                     05-Jul-2005 16:23      -  
 old/                    01-Feb-2007 07:54      -  
 open-house7.swf         25-Mar-2006 13:59   138k  
 programming.swf         17-Jun-2004 12:22    69k  
 smlsc5.swf              16-Sep-2006 11:13    80k  
 spoons.swf              09-Dec-2004 10:00    22k  
 tgc.swf                 16-Nov-2007 16:29   102k  
 views.pdf               05-Dec-2002 12:50    54k