Index of /research/summerschool/summer13/lectures

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