Index of /research/summerschool/summer13/lectures

[ICO]NameLast modifiedSizeDescription

[PARENTDIR]Parent Directory  -  
[VID]ahmed1-2.mp42013-07-27 14:06 1.8G 
[VID]ahmed1-1.mp42013-07-27 12:53 1.7G 
[VID]licata3-1.mp42013-07-31 09:49 1.5G 
[VID]ahmed5-3.mp42013-07-31 15:07 1.5G 
[VID]ahmed3-2.mp42013-07-29 18:46 1.5G 
[VID]ahmed4-2.mp42013-07-30 22:32 1.5G 
[VID]ahmed4-1.mp42013-07-30 21:19 1.5G 
[VID]pfenning2-1.mp42013-07-27 04:47 1.5G 
[VID]ahmed3-1.mp42013-07-29 17:38 1.5G 
[VID]pfenning3-1.mp42013-07-27 15:22 1.4G 
[VID]pfenning3-2.mp42013-07-27 16:31 1.4G 
[VID]ahmed5-1.mp42013-07-31 12:50 1.4G 
[VID]weirich1-2.mp42013-08-01 07:00 1.4G 
[VID]zdancewic1-1.mp42013-08-01 10:37 1.4G 
[VID]jones1-2.mp42013-08-01 04:07 1.4G 
[VID]ahmed2-1.mp42013-07-27 20:23 1.3G 
[VID]harper4-2.mp42013-07-27 00:03 1.3G 
[VID]harper5-2.mp42013-07-27 11:03 1.3G 
[VID]ahmed2-2.mp42013-07-27 21:29 1.3G 
[VID]tolmach2-2.mp42013-07-24 18:06 1.3G 
[VID]ahmed5-2.mp42013-07-31 13:57 1.3G 
[VID]licata5-1.mp42013-08-01 08:08 1.3G 
[VID]pfenning2-2.mp42013-07-27 05:56 1.3G 
[VID]weirich1-1.mp42013-08-01 05:57 1.3G 
[VID]licata5-2.mp42013-08-01 09:15 1.2G 
[VID]licata1-2.mp42013-07-27 23:15 1.2G 
[VID]harper4-1.mp42013-07-26 22:52 1.2G 
[VID]harper5-1.mp42013-07-27 09:56 1.2G 
[VID]pfenning5-1.mp42013-07-29 12:40 1.2G 
[VID]jones1-1.mp42013-08-01 02:59 1.2G 
[VID]pfenning5-2.mp42013-07-29 13:46 1.2G 
[VID]licata2-1.mp42013-07-29 15:16 1.2G 
[VID]licata2-2.mp42013-07-29 16:19 1.2G 
[VID]licata4-1.mp42013-07-31 22:06 1.2G 
[VID]tolmach4-1.mp42013-07-27 07:31 1.2G 
[VID]weirich2-2.mp42013-08-02 01:22 1.2G 
[VID]weirich2-1.mp42013-08-02 00:18 1.1G 
[VID]licata3-2.mp42013-07-31 11:01 1.1G 
[VID]harper4-3.mp42013-07-27 01:10 1.1G 
[VID]weirich3-2.mp42013-08-03 11:38 1.1G 
[VID]pfenning4-1.mp42013-07-27 17:41 1.1G 
[VID]jones4-1.mp42013-08-03 12:41 1.1G 
[VID]tolmach2-1.mp42013-07-24 17:02 1.0G 
[VID]licata4-2.mp42013-07-31 23:14 1.0G 
[VID]ahmed6-1.mp42013-08-01 00:26 1.0G 
[VID]20130803104339.mp42013-08-03 22:53 1.0G 
[VID]tolmach3-1.mp42013-07-27 02:25 1.0G 
[VID]jones2-1.mp42013-08-01 17:21 1.0G 
[VID]tolmach4-2.mp42013-07-27 08:37 969M 
[VID]jones4-2.mp42013-08-03 13:43 967M 
[VID]pfenning1-1.mp42013-07-24 04:08 966M 
[VID]pfenning1-2.mp42013-07-24 05:06 963M 
[VID]harper3-2.mp42013-07-24 07:22 957M 
[VID]tolmach3-2.mp42013-07-27 03:22 948M 
[VID]zdancewic3-2.mp42013-08-02 17:30 940M 
[VID]20130803104339_1.mp42013-08-03 23:54 935M 
[VID]weirich3-1.mp42013-08-03 10:35 933M 
[VID]ahmed3-3.mp42013-07-29 19:30 932M 
[VID]zdancewic2-2.mp42013-08-01 16:02 930M 
[VID]zdancewic3-1.mp42013-08-02 16:26 927M 
[VID]ahmed6-2.mp42013-08-01 01:26 925M 
[VID]jones3-1.mp42013-08-02 14:05 924M 
[VID]20130803091017.mp42013-08-03 20:53 908M 
[VID]harper2-1.mp42013-07-24 01:03 904M 
[VID]pfenning4-2.mp42013-07-27 18:41 901M 
[VID]jones3-2.mp42013-08-02 15:11 900M 
[VID]jones1-3.mp42013-08-01 04:49 885M 
[VID]20130803091017_1.mp42013-08-03 21:49 866M 
[VID]zdancewic2-1.mp42013-08-01 15:05 855M 
[VID]harper2-2.mp42013-07-24 10:39 847M 
[VID]harper3-1.mp42013-07-24 06:21 827M 
[VID]zdancewic1-2.mp42013-08-01 11:33 819M 
[VID]pfenning3-3.mp42013-07-26 21:41 784M 
[VID]jones2-2.mp42013-08-01 18:09 782M 
[VID]harper5-3.mp42013-07-27 11:40 754M 
[VID]ahmed4-3.mp42013-07-30 23:11 706M 
[VID]tolmach1-1.mp42013-07-23 21:59 703M 
[VID]licata1-3.mp42013-07-27 23:56 664M 
[VID]20130803140159.mp42013-08-04 01:06 624M 
[VID]tolmach1-2.mp42013-07-24 02:50 606M 
[VID]20130803140159_1.mp42013-08-04 01:59 605M 
[VID]pfenning2-3.mp42013-07-27 06:26 582M 
[VID]licata3-3.mp42013-07-31 11:33 558M 
[VID]tolmach2-3.mp42013-07-24 18:28 495M 
[VID]licata1-1.mp42013-07-27 22:08 488M 
[VID]pfenning5-3.mp42013-07-29 14:12 475M 
[VID]pfenning4-3.mp42013-07-27 19:04 413M 
[VID]ahmed2-3.mp42013-07-27 21:45 368M 
[VID]pfenning1-3.mp42013-07-24 05:25 352M 
[VID]harper1-1.mp42013-07-23 16:46 351M 
[VID]harper1-2.mp42013-07-23 03:12 351M 
[VID]harper2-3.mp42013-07-24 11:00 301M 
[VID]20130803104339_2.mp42013-08-04 00:11 298M 
[VID]ahmed6-3.mp42013-08-01 01:40 277M 
[VID]ahmed6-4.mp42013-08-01 01:54 275M 
[VID]zdancewic2-3.mp42013-08-01 16:20 269M 
[VID]harper3-3.mp42013-07-24 07:39 264M 
[VID]tolmach4-3.mp42013-07-27 08:51 257M 
[VID]harper4-4.mp42013-07-27 01:25 249M 
[VID]licata5-3.mp42013-08-01 09:28 246M 
[VID]20130803140159_2.mp42013-08-04 02:21 245M 
[VID]jones3-3.mp42013-08-02 15:25 231M 
[VID]zdancewic1-3.mp42013-08-01 11:51 231M 
[VID]ahmed5-4.mp42013-07-31 15:18 218M 
[VID]tolmach3-3.mp42013-07-27 03:34 202M 
[VID]licata4-3.mp42013-07-31 23:24 175M 
[VID]weirich2-3.mp42013-08-02 01:30 141M 
[VID]harper1-3.mp42013-07-23 11:59 130M 
[VID]licata2-4.mp42013-07-29 16:23 64M 
[VID]jones4-3.mp42013-08-03 13:47 59M 
[VID]zdancewic3-3.mp42013-08-02 17:34 53M 
[VID]licata1-4.mp42013-07-27 23:58 42M 
[VID]20130803102245.mp42013-08-03 21:52 30M 
[VID]weirich1-3.mp42013-08-01 07:01 18M 
[VID]licata2-3.mp42013-07-29 16:20 18M 
[VID]ahmed1-3.mp42013-07-27 14:07 17M 
[VID]licata4-4.mp42013-07-31 20:34 17M 
[VID]20130803104246.mp42013-08-03 21:53 9.3M 
[VID]weirich3-3.mp42013-08-03 11:38 6.4M 
[   ]FC_in_GHC_July13.pdf2013-08-02 11:32 3.8M 
[   ]Type_inference.pdf2013-08-05 17:03 3.7M 
[   ]zdancewic-oplss.pdf2013-08-03 16:53 3.7M 
[   ]FunWithTypeFuns.pdf2013-08-05 17:03 3.6M 
[   ]Kinds_and_GADTs.pdf2013-08-02 11:32 3.6M 
[   ]ClassesJimOPLSS.pdf2013-07-30 23:10 3.3M 
[VID]20130802152340.mp42013-08-03 11:38 2.6M 
[VID]20130803090642.mp42013-08-03 19:52 1.3M 
[   ]harper-1.pdf2013-07-26 11:42 1.2M 
[   ]ahmed_official1.pdf2013-08-01 20:09 1.1M 
[   ]ahmed-4.pdf2013-07-30 10:56 608K 
[VID]20130803104240.mp42013-08-03 21:52 592K 
[   ]ahmed-1.pdf2013-07-25 15:57 492K 
[   ]ahmed-3.pdf2013-07-28 00:01 478K 
[   ]harper-3.pdf2013-07-26 11:42 431K 
[   ]harper-4.pdf2013-07-25 14:58 424K 
[   ]ahmed-5.pdf2013-07-30 10:56 392K 
[   ]ahmed-2.pdf2013-07-29 10:12 383K 
[   ]pfenning-1.pdf2013-07-26 11:42 340K 
[   ]pfenning-5.pdf2013-07-27 23:23 335K 
[   ]pfenning-4.pdf2013-07-26 14:47 331K 
[   ]harper-2.pdf2013-07-26 11:42 327K 
[   ]01-inference.pdf2013-07-24 12:31 316K 
[   ]pfenning-3.pdf2013-07-25 17:55 287K 
[   ]pfenning-2.pdf2013-07-26 22:39 286K 
[   ]weirich_main.pdf2013-07-31 14:43 116K